partial cyclic order (Q7140364)
Jump to navigation
Jump to search
ternary relation that is cyclic (if [𝑥,𝑦,𝑧] then [𝑧,𝑥,𝑦]), asymmetric (if [𝑥,𝑦,𝑧] then not [𝑧,𝑦,𝑥]) and transitive (if [𝑤,𝑥,𝑦] and [𝑤,𝑦,𝑧] then [𝑤,𝑥,𝑧])
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | partial cyclic order |
ternary relation that is cyclic (if [𝑥,𝑦,𝑧] then [𝑧,𝑥,𝑦]), asymmetric (if [𝑥,𝑦,𝑧] then not [𝑧,𝑦,𝑥]) and transitive (if [𝑤,𝑥,𝑦] and [𝑤,𝑦,𝑧] then [𝑤,𝑥,𝑧]) |
Statements
![{\displaystyle {\begin{aligned}{}[a,b,c]&\implies [b,c,a]\\{}[a,b,c]&\implies \lnot [c,b,a]\\{}[a,b,c]\land [a,c,d]&\implies [a,b,d]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cadefc253181783a4f12dd4b433db0ac27d512d)
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Partial cyclic order
- frwiki Ordre cyclique