t.ae 8/9/2017 8:37 AM

charがstrideableじゃないですか？

8:38 AM

というか順序集合は実質整数みたいなものだし考えても意味無さそう