heterogeneous relation

relation whose domain and codomain don't coincide

Kategorie: