Seol mar théacs é seo: Abstract set theory