Nuprl Definition : fset-minimal

fset-minimal(x,y.less[x; y];s;a) ==  fset-null({y ∈ s | less[y; a]})


Definitions occuring in Statement :  fset-null: fset-null(s),  fset-filter: {x ∈ s | P[x]}
Definitions occuring in definition :  fset-null: fset-null(s),  fset-filter: {x ∈ s | P[x]}
FDL editor aliases :  fset-minimal
Latex:
fset-minimal(x,y.less[x;  y];s;a)  ==    fset-null(\{y  \mmember{}  s  |  less[y;  a]\})


Date html generated: 2016_05_14-PM-03_47_24
Last ObjectModification: 2015_10_06-PM-01_33_40

Theory : finite!sets


Home Index