Revert "put Kuratowski relationships back in"
Revert "put Kuratowski relationships back in"

This reverts commit c8e6bc095d1c8ea617efcbf154954e4f57ac3637.

metamath/set.mm,metamath/set.mm,metamath/set.mm