theorem Th11: :: CLASSES5:11

for U being Universe
for x being Element of U
for x1, x2, x3 being object st x = [x1,x2,x3] holds
( x1 is Element of U & x2 is Element of U & x3 is Element of U )