Nuprl Definition : frs-separated
frs-separated(p;q) == (∀x∈p.(∀y∈q.x ≠ y))
Definitions occuring in Statement :
rneq: x ≠ y,
l_all: (∀x∈L.P[x])
Definitions occuring in definition :
l_all: (∀x∈L.P[x]),
rneq: x ≠ y
FDL editor aliases :
frs-separated
frs-separated
Latex:
frs-separated(p;q) == (\mforall{}x\mmember{}p.(\mforall{}y\mmember{}q.x \mneq{} y))
Date html generated:
2016_05_18-AM-08_53_32
Last ObjectModification:
2015_09_23-AM-09_08_38
Theory : reals
Home
Index