A Universe

S={X∣X is a set}