theorem Th104: :: CLASSES5:102

for U being Universe holds Funcs U is U -Class