Definicja Morse'a
Teoria mnogości Morse'a-Kelleya, założona przez Morse'a (1965), korzysta w wolny sposób spośród klas właściwych. Morse zdefiniował nieco uporządkowaną tak, tak aby jej rzuty mogłyby być, obok zbiorów, klasami właściwymi (definicja Kuratowskiego na owo nie zezwala). najpierw zdefiniował mężczyzna pary uporządkowane, których rzuty są zbiorami, na modłę Kuratowskiego. później przedefiniował nieco jak , gdzie składowe iloczyny kartezjańskie są parami Kuratowskiego na zbiorach. owo właśnie ten dalszy etap sprawia, że prawidłowe są pary, których rzuty są klasami właściwymi. definicja Rossera w poprzedniej sekcji również umożliwia wykorzystanie klas właściwych jak rzutów.