Na matemática, uma relação binária R sobre um conjunto X é dita total se para todo a e b em X, a está relacionado com b ou b está relacionado com a (ou ambos).

Pela notação matemática, isso é equivalente a

Note que essa definição implica reflexidade.

Por exemplo, a relação "menor ou igual" é total sobre o conjunto dos números reais, porque para dois números quaisquer, ou o primeiro é menor que ou igual ao segundo ou o segundo é menor ou igual ao primeiro. Por outro lado, a relação "menor" não é total, pois, pegando dois números iguais, o primeiro não é menor que o segundo nem o segundo é menor que o primeiro.

Em "Principia Mathematica" ", Bertrand Russell e A. N. Whitehead refere-se a "relações que geram uma série"[1] como relações seriais . Sua noção difere deste artigo, pois a relação pode ter um alcance finito.

Para uma relação R , deixe { y : xRy } denotar a "vizinhança sucessora" de x . Uma relação serial pode ser equivalentemente caracterizada como todo elemento que possui uma vizinhança sucessora não vazia. Da mesma forma, uma relação 'inversa serial' é uma relação na qual todo elemento possui "vizinhança predecessora" não vazia.[2] Mais comumente, uma relação serial inversa é chamada de relação subjetiva e é especificada por um total relação inversa.[3]

Referências

  1. B. Russell & A. N. Whitehead (1910) Principia Mathematica, volume one, page 141 from University of Michigan Historical Mathematical Collection
  2. Yao, Y. (2004). «Semantics of Fuzzy Sets in Rough Set Theory». Transactions on Rough Sets II. Col: Lecture Notes in Computer Science. 3135. [S.l.: s.n.] 309 páginas. ISBN 978-3-540-23990-1. doi:10.1007/978-3-540-27778-1_15 
  3. Gunther Schmidt (2011). Relational Mathematics. [S.l.]: Cambridge University Press. ISBN 9780511778810. doi:10.1017/CBO9780511778810  Definition 5.8, page 57.