Title: Abstract Set Theory; 8