generated at
半順序
see 順序集合 - Wikipedia