As structured sets with no required element, the empty set is also the empty preorder is the initial object.