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