SMS: Theory of sets