heterogeneous relation

relation whose domain and codomain don't coincide

Categorie: