Nuprl Definition : rset-neg
-(A) == λx.(-(x) ∈ A)
Definitions occuring in Statement :
rset-member: x ∈ A,
rminus: -(x),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
rset-member: x ∈ A,
rminus: -(x)
FDL editor aliases :
rset-neg
rset-neg
Latex:
-(A) == \mlambda{}x.(-(x) \mmember{} A)
Date html generated:
2016_05_18-AM-08_15_40
Last ObjectModification:
2015_09_23-AM-09_05_00
Theory : reals
Home
Index