heterogeneous relation

relation whose domain and codomain don't coincide

Categories: