Addendum: Pairing can be dispensed with, so this scheme virtually proves all set construction axioms of standard set/class theories! For details see: http://zaljohar.tripod.com/sct.pdf Zuhair