total relation
binary endorelation such that for every pair of elements either first is related with second or second is related with first
en-US/ˈtoʊtəl ɹɪˈleɪʃən/
en-GB/ˈtəʊtl ɹɪˈleɪʃn/
binary endorelation such that for every pair of elements either first is related with second or second is related with first