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