theorem Th107: :: CLASSES5:105

for U being Universe holds Maps U c= U