Definition:Dichotomous Relation