半順序集合の部分順序集合は半順序集合