قالب:علاقات ثنائية

Template documentation[view] [edit] [history] [purge]

Template's default state when transcluded is collapsed. To override, invoke as {{Binary relations|expanded}}.

To change the template's position from the default shown, add the parameter position with the value "left", "center", "centre" or "right".

 Example call

Calling

{{Binary relations}}

will display:

العلاقات الثنائية المتعدية
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ Y Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all $a,b$ and $S\ne \varnothing :$ $\begin{array}{ll}& aRb\\ \Rightarrow & bRa\end{array}$ $\begin{array}{ll}aRb\text{ and }& bRa\\ \Rightarrow a=& b\end{array}$ $\begin{array}{ll}a\ne & b\Rightarrow \\ aRb\text{ or }& bRa\end{array}$ $\begin{array}{l}\min S\\ \text{exists}\end{array}$ $\begin{array}{l}a\vee b\\ \text{exists}\end{array}$ $\begin{array}{l}a\wedge b\\ \text{exists}\end{array}$ $aRa$ $\text{not }aRa$ $\begin{array}{l}aRb\Rightarrow \\ \text{not }bRa\end{array}$
Y indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly require the homogeneous relation $R$ be transitive: for all $a,b,c,$ if $aRb$ and $bRc$ then $aRc.$ A term's definition may require additional properties that are not listed in this table.

 Call with alignment

Calling

{{Binary relations|position=left}}

will display:

العلاقات الثنائية المتعدية
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ Y Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all $a,b$ and $S\ne \varnothing :$ $\begin{array}{ll}& aRb\\ \Rightarrow & bRa\end{array}$ $\begin{array}{ll}aRb\text{ and }& bRa\\ \Rightarrow a=& b\end{array}$ $\begin{array}{ll}a\ne & b\Rightarrow \\ aRb\text{ or }& bRa\end{array}$ $\begin{array}{l}\min S\\ \text{exists}\end{array}$ $\begin{array}{l}a\vee b\\ \text{exists}\end{array}$ $\begin{array}{l}a\wedge b\\ \text{exists}\end{array}$ $aRa$ $\text{not }aRa$ $\begin{array}{l}aRb\Rightarrow \\ \text{not }bRa\end{array}$
Y indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly require the homogeneous relation $R$ be transitive: for all $a,b,c,$ if $aRb$ and $bRc$ then $aRc.$ A term's definition may require additional properties that are not listed in this table.

 Expanded with alignment

Calling

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

will display:

العلاقات الثنائية المتعدية
Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Total, Semiconnex Anti- reflexive Equivalence relation Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Preorder (Quasiorder) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ Partial order ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ Total preorder ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ Total order ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ Prewellordering ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ Well-quasi-ordering ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ Well-ordering ✗ Y Y Y ✗ ✗ Y ✗ ✗ Lattice ✗ Y ✗ ✗ Y Y Y ✗ ✗ Join-semilattice ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ Meet-semilattice ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ Strict partial order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict weak order ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y Strict total order ✗ Y Y ✗ ✗ ✗ ✗ Y Y Symmetric Antisymmetric Connected Well-founded Has joins Has meets Reflexive Irreflexive Asymmetric Definitions, for all $a,b$ and $S\ne \varnothing :$ $\begin{array}{ll}& aRb\\ \Rightarrow & bRa\end{array}$ $\begin{array}{ll}aRb\text{ and }& bRa\\ \Rightarrow a=& b\end{array}$ $\begin{array}{ll}a\ne & b\Rightarrow \\ aRb\text{ or }& bRa\end{array}$ $\begin{array}{l}\min S\\ \text{exists}\end{array}$ $\begin{array}{l}a\vee b\\ \text{exists}\end{array}$ $\begin{array}{l}a\wedge b\\ \text{exists}\end{array}$ $aRa$ $\text{not }aRa$ $\begin{array}{l}aRb\Rightarrow \\ \text{not }bRa\end{array}$
Y indicates that the column's property is always true for the row's term (at the very left), while ✗ indicates that the property is not guaranteed in general (it might, or might not, hold). For example, that every equivalence relation is symmetric, but not necessarily antisymmetric, is indicated by Y in the "Symmetric" column and ✗ in the "Antisymmetric" column, respectively. All definitions tacitly require the homogeneous relation $R$ be transitive: for all $a,b,c,$ if $aRb$ and $bRc$ then $aRc.$ A term's definition may require additional properties that are not listed in this table.