generated at
全順序
toal order
集合Sとその上の二項関係Rに対して、半順序であり、完全律を満たすもの


参考
https://ja.wikipedia.org/wiki/全順序
http://nunuki.hatenablog.com/entry/2016/12/23/182301