Nuprl Definition : xxequiv_rel
(compound):: EquivRel(T;R) == refl(T;R) ∧ trans(T;R) ∧ sym(T;R)
Definitions occuring in Statement :
xxtrans: trans(T;E),
xxsym: sym(T;E),
xxrefl: refl(T;E),
and: P ∧ Q
Definitions occuring in definition :
xxrefl: refl(T;E),
and: P ∧ Q,
xxtrans: trans(T;E),
xxsym: sym(T;E)
Latex:
(compound):: EquivRel(T;R) == refl(T;R) \mwedge{} trans(T;R) \mwedge{} sym(T;R)
Date html generated:
2016_05_15-PM-00_01_17
Last ObjectModification:
2015_09_23-AM-06_23_42
Theory : gen_algebra_1
Home
Index