PosetInterval

A basis element of the incidence algebra — the interval $[x,y]$ of the poset, for $x \le y$ .

PosetInterval(x, y)the basis element for the interval

[x,y]

Typed signatures

Type	Package	Applies
`(value, value) -> expression<PosetInterval>`	`incidence`	always

Domain: Incidence algebras

Examples

Basic #

$2\le 3$ in the chain

\mathrm{PosetInterval}(2, 3)∈\mathrm{IncidenceAlgebra}(\mathrm{Chain}(4))

Out

\mathrm{True}

$3\not\le 2$

\mathrm{PosetInterval}(3, 2)∈\mathrm{IncidenceAlgebra}(\mathrm{Chain}(4))

Out

\mathrm{False}

About

Examples	2