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