theorem Th15: :: COMPUT_1:16

for n being Element of NAT
for D being non empty set
for R being Relation st dom R c= n -tuples_on D holds
R is homogeneous ;