Nuprl Definition : xxorder
(compound):: order(T;R) == refl(T;R) ∧ trans(T;R) ∧ anti_sym(T;R)
Definitions occuring in Statement :
xxanti_sym: anti_sym(T;R)
,
xxtrans: trans(T;E)
,
xxrefl: refl(T;E)
,
and: P ∧ Q
Definitions occuring in definition :
xxrefl: refl(T;E)
,
and: P ∧ Q
,
xxtrans: trans(T;E)
,
xxanti_sym: anti_sym(T;R)
Latex:
(compound):: order(T;R) == refl(T;R) \mwedge{} trans(T;R) \mwedge{} anti\_sym(T;R)
Date html generated:
2016_05_15-PM-00_01_14
Last ObjectModification:
2015_09_23-AM-06_23_41
Theory : gen_algebra_1
Home
Index