Nuprl Definition : fset-minimals
fset-minimals(x,y.less[x; y]; s) == {a ∈ s | fset-minimal(x,y.less[x; y];s;a)}
Definitions occuring in Statement :
fset-minimal: fset-minimal(x,y.less[x; y];s;a),
fset-filter: {x ∈ s | P[x]}
Definitions occuring in definition :
fset-filter: {x ∈ s | P[x]},
fset-minimal: fset-minimal(x,y.less[x; y];s;a)
FDL editor aliases :
fset-minimals
Latex:
fset-minimals(x,y.less[x; y]; s) == \{a \mmember{} s | fset-minimal(x,y.less[x; y];s;a)\}
Date html generated:
2016_05_14-PM-03_47_32
Last ObjectModification:
2015_10_06-PM-01_33_34
Theory : finite!sets
Home
Index