Modelo:Binary relations

Indicacións de uso do modelo

Debe invocarse como {{Binary relations|expanded}} se se quere expandir.

Para modificar a posición do modelo, agregar o parámetro position cos valores "left", "center", "centre" ou "right".

Exemplo de chamada

editar

Chamando como

{{Binary relations}}

mostrará:

Relacións binarias transitivas
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Relación de equivalencia Si Si Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde (Cuasiorde) Non Non Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Orde parcial Non Non Si Si Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde total Non Non Non Non Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Orde total Non Non Si Si Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Pre-Ben ordenada Non Non Non Non Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Cuasi-Ben ordenada Non Non Non Non Non Non Si Si Non Non Non Non Si Si Non Non Non Non
Ben ordenada Non Non Si Si Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Retícula Non Non Si Si Non Non Non Non Si Si Si Si Si Si Non Non Non Non
Semiretícula superior (join) Non Non Si Si Non Non Non Non Si Si Non Non Si Si Non Non Non Non
Semiretícula inferior (meet) Non Non Si Si Non Non Non Non Non Non Si Si Si Si Non Non Non Non
Orde estrita parcial Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita feble Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita total Non Non Si Si Si Si Non Non Non Non Non Non Non Non Si Si Si Si
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Definicións, para todo e
Si Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non 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 Si na columna "Simétrica" e Non 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.

Chamada con posición

editar

Chamando como

{{Binary relations|position=left}}

mostrará:

Relacións binarias transitivas
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Relación de equivalencia Si Si Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde (Cuasiorde) Non Non Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Orde parcial Non Non Si Si Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde total Non Non Non Non Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Orde total Non Non Si Si Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Pre-Ben ordenada Non Non Non Non Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Cuasi-Ben ordenada Non Non Non Non Non Non Si Si Non Non Non Non Si Si Non Non Non Non
Ben ordenada Non Non Si Si Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Retícula Non Non Si Si Non Non Non Non Si Si Si Si Si Si Non Non Non Non
Semiretícula superior (join) Non Non Si Si Non Non Non Non Si Si Non Non Si Si Non Non Non Non
Semiretícula inferior (meet) Non Non Si Si Non Non Non Non Non Non Si Si Si Si Non Non Non Non
Orde estrita parcial Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita feble Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita total Non Non Si Si Si Si Non Non Non Non Non Non Non Non Si Si Si Si
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Definicións, para todo e
Si Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non 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 Si na columna "Simétrica" e Non 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.

Chamada expandido e con posición

editar

Chamando como

{{Binary relations|expanded|position=left}}

mostrará:

Relacións binarias transitivas
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Relación de equivalencia Si Si Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde (Cuasiorde) Non Non Non Non Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Orde parcial Non Non Si Si Non Non Non Non Non Non Non Non Si Si Non Non Non Non
Preorde total Non Non Non Non Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Orde total Non Non Si Si Si Si Non Non Non Non Non Non Si Si Non Non Non Non
Pre-Ben ordenada Non Non Non Non Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Cuasi-Ben ordenada Non Non Non Non Non Non Si Si Non Non Non Non Si Si Non Non Non Non
Ben ordenada Non Non Si Si Si Si Si Si Non Non Non Non Si Si Non Non Non Non
Retícula Non Non Si Si Non Non Non Non Si Si Si Si Si Si Non Non Non Non
Semiretícula superior (join) Non Non Si Si Non Non Non Non Si Si Non Non Si Si Non Non Non Non
Semiretícula inferior (meet) Non Non Si Si Non Non Non Non Non Non Si Si Si Si Non Non Non Non
Orde estrita parcial Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita feble Non Non Si Si Non Non Non Non Non Non Non Non Non Non Si Si Si Si
Orde estrita total Non Non Si Si Si Si Non Non Non Non Non Non Non Non Si Si Si Si
Simétrica Antisimétrica Conexa Ben fundada Ten joins Ten meets Reflexiva Irreflexiva Asimétrica
Definicións, para todo e
Si Si indica que a columna da propiedade é sempre verdadeira no termo da fila (na esquerda de todo), mentres que Non 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 Si na columna "Simétrica" e Non 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.

Este recadro non aparecerá no artigo.
Esta documentación está transcluída desde Modelo:Binary relations/uso. Os editores poden probar cambios no mesmo en Modelo:Binary relations/probas.
Por favor, engade as categorías na subpáxina de documentación e os interwikis no Wikidata. Ver as subpáxinas deste modelo.