Nuprl Definition : weak-linorder
(compound):: WeakLinorder(T;x,y.R[x; y]) == Order(T;x,y.R[x; y]) ∧ weak-connex(T; x,y.R[x; y])
Definitions occuring in Statement :
order: Order(T;x,y.R[x; y]),
weak-connex: weak-connex(T; x,y.R[x; y]),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
order: Order(T;x,y.R[x; y]),
weak-connex: weak-connex(T; x,y.R[x; y])
FDL editor aliases :
wlinorder
Latex:
(compound):: WeakLinorder(T;x,y.R[x; y]) == Order(T;x,y.R[x; y]) \mwedge{} weak-connex(T; x,y.R[x; y])
Date html generated:
2016_05_13-PM-04_16_43
Last ObjectModification:
2015_09_22-PM-05_46_11
Theory : rel_1
Home
Index