And every set, along with the identity ordering relation, is a poset.