Any subset of a poset is a poset.