set theory – What is the set representation of Aleph-one? Does it have one?