Pātuhitia tēnei: Abstract set theory