Relation is Total iff Union with Inverse is Trivial Relation