Order type zero

Zero is the smallest ordinal number, being the order type of sets with no elements and equal to the empty set considered as an ordinal number under the element of relation.