theorem Th15: :: COMPUT_1:16

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