Nuprl Definition : f-subset
xs ⊆ ys == ∀a:T. a ∈ ys supposing a ∈ xs
Definitions occuring in Statement :
fset-member: a ∈ s,
uimplies: b supposing a,
all: ∀x:A. B[x]
Definitions occuring in definition :
all: ∀x:A. B[x],
uimplies: b supposing a,
fset-member: a ∈ s
FDL editor aliases :
f-subset
Latex:
xs \msubseteq{} ys == \mforall{}a:T. a \mmember{} ys supposing a \mmember{} xs
Date html generated:
2016_05_14-PM-03_38_23
Last ObjectModification:
2015_10_06-PM-01_37_41
Theory : finite!sets
Home
Index