半順序
see
順序集合 - Wikipedia