Nuprl Definition : f-proper-subset
xs ⊆≠ ys == xs ⊆ ys ∧ (¬(xs = ys ∈ fset(T)))
Definitions occuring in Statement :
f-subset: xs ⊆ ys,
fset: fset(T),
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
f-subset: xs ⊆ ys,
not: ¬A,
equal: s = t ∈ T,
fset: fset(T)
FDL editor aliases :
f-proper-subset
Latex:
xs \msubseteq{}\mneq{} ys == xs \msubseteq{} ys \mwedge{} (\mneg{}(xs = ys))
Date html generated:
2016_05_14-PM-03_41_50
Last ObjectModification:
2015_10_06-PM-01_36_10
Theory : finite!sets
Home
Index