Nuprl Definition : uequiv_rel
(compound)::
UniformEquivRel(T;x,y.E[x; y]) ==
UniformlyRefl(T;x,y.E[x; y]) ∧ UniformlySym(T;x,y.E[x; y]) ∧ UniformlyTrans(T;x,y.E[x; y])
Definitions occuring in Statement :
utrans: UniformlyTrans(T;x,y.E[x; y]),
usym: UniformlySym(T;x,y.E[x; y]),
urefl: UniformlyRefl(T;x,y.E[x; y]),
and: P ∧ Q
Definitions occuring in definition :
urefl: UniformlyRefl(T;x,y.E[x; y]),
and: P ∧ Q,
usym: UniformlySym(T;x,y.E[x; y]),
utrans: UniformlyTrans(T;x,y.E[x; y])
FDL editor aliases :
uequiv_rel
Latex:
(compound)::
UniformEquivRel(T;x,y.E[x; y]) ==
UniformlyRefl(T;x,y.E[x; y]) \mwedge{} UniformlySym(T;x,y.E[x; y]) \mwedge{} UniformlyTrans(T;x,y.E[x; y])
Date html generated:
2016_05_13-PM-04_14_54
Last ObjectModification:
2015_09_22-PM-05_46_03
Theory : rel_1
Home
Index