Nuprl Definition : uanti_sym
(basic):: UniformlyAntiSym(T;x,y.R[x; y]) == ∀[x,y:T]. (x = y ∈ T) supposing (R[y; x] and R[x; y])
Definitions occuring in Statement :
uimplies: b supposing a,
uall: ∀[x:A]. B[x],
equal: s = t ∈ T
Definitions occuring in definition :
uall: ∀[x:A]. B[x],
uimplies: b supposing a,
equal: s = t ∈ T
FDL editor aliases :
uanti_sym
Latex:
(basic):: UniformlyAntiSym(T;x,y.R[x; y]) == \mforall{}[x,y:T]. (x = y) supposing (R[y; x] and R[x; y])
Date html generated:
2016_05_13-PM-04_15_47
Last ObjectModification:
2015_09_22-PM-05_46_05
Theory : rel_1
Home
Index