theorem Th103: :: CLASSES5:101

for U being Universe holds Funcs U c< U