theorem Th18: :: COMPUT_1:19

for f being homogeneous Relation st dom f = {{}} holds
arity f = 0