Relations and Orders

Front

Reflexive

Back

R(a,a)

Front

Transitive

Back

if R(a,b) & R(b,c), then R(a,c)

Front

Symmetric

Back

if R(a,b) then R(b,a)

Front

Asymmetric

Back

R(a,b) and R(b,a), then a==b

Front

Preorder

Back

Reflexive & Transitive

Front

Equivalence Relation

Back

Reflexive, Transitive, & Symmetric

Front

Partial Order

Back

Reflexive, Transitive, & Asymmetric

Front

Total Preorder

Back

Reflexive, Transitive, & Total

Front

Total Order

Back

Reflexive, Transitive, Asymmetric, & Total

Front

Total

Back

R(a,b) or R(b,a)