Nuprl Definition : st_anti_sym
(basic):: StAntiSym(T;x,y.R[x; y]) == ∀x,y:T. (¬(R[x; y] ∧ R[y; x]))
Definitions occuring in Statement :
all: ∀x:A. B[x],
not: ¬A,
and: P ∧ Q
Definitions occuring in definition :
all: ∀x:A. B[x],
not: ¬A,
and: P ∧ Q
FDL editor aliases :
st_anti_sym
Latex:
(basic):: StAntiSym(T;x,y.R[x; y]) == \mforall{}x,y:T. (\mneg{}(R[x; y] \mwedge{} R[y; x]))
Date html generated:
2016_05_13-PM-04_15_58
Last ObjectModification:
2015_09_22-PM-05_46_06
Theory : rel_1
Home
Index