set-theory Definition Total Relation A relation is called total or bi-total iff is left-total and right-total.