SMS: Abstract set theory