order
Top-level context.
Partial order relations
Theorems:
Name
Comment
<2tr
<2trd
<2trg
>2tr
>2trd
>2trg
df<-alt2
df<-alt3
eq.less<
eq.less>
eqd
eqi
eqsym
eqt<
eqt<>
eqt<>d
eqt<>i
eqt<>pd
eqt<>pi
eqt<p
eqt>
eqt>p
eqtr
ps-irr
ps→ss
rp-1<
rp-1<d
rp-1<g
rp-1>
rp-1>d
rp-1>g
rp-2<
rp-2<d
rp-2<g
rp-2>
rp-2>d
rp-2>g
ss.ps
tr-an
trd
trd-2
trd-2r
tri
Subcontexts:
Name
Comment
eq
equiv-ax-ord
Axioms for equivalence relations