Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non indica que a propiedade non está garantida en xeral (pode cumprirse ou non). Por exemplo, toda relación de equivalencia é simétrica, mais non necesariamente antisimétrica, está indicada por Si na columna "Simétrica" e Non na columna "Antisimétrica".
Todas as definicións requiren tacitamente que a relación homoxénea sexa transitiva: para todo se e entón
Algunha definición dalgún termo pode requerir propiedades adicionais non recollidas na táboa.
Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non indica que a propiedade non está garantida en xeral (pode cumprirse ou non). Por exemplo, toda relación de equivalencia é simétrica, mais non necesariamente antisimétrica, está indicada por Si na columna "Simétrica" e Non na columna "Antisimétrica".
Todas as definicións requiren tacitamente que a relación homoxénea sexa transitiva: para todo se e entón
Algunha definición dalgún termo pode requerir propiedades adicionais non recollidas na táboa.
Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non indica que a propiedade non está garantida en xeral (pode cumprirse ou non). Por exemplo, toda relación de equivalencia é simétrica, mais non necesariamente antisimétrica, está indicada por Si na columna "Simétrica" e Non na columna "Antisimétrica".
Todas as definicións requiren tacitamente que a relación homoxénea sexa transitiva: para todo se e entón
Algunha definición dalgún termo pode requerir propiedades adicionais non recollidas na táboa.