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