全順序
toal order
集合$ Sとその上の二項関係$ Rに対して、半順序であり、完全律を満たすもの
参考
https://ja.wikipedia.org/wiki/全順序
http://nunuki.hatenablog.com/entry/2016/12/23/182301