Nuprl Definition : bag-maximals
bag-maximals(bg;R) == [x∈bg|bag-maximal?(bg;x;R)]
Definitions occuring in Statement :
bag-maximal?: bag-maximal?(bg;x;R),
bag-filter: [x∈b|p[x]]
Definitions occuring in definition :
bag-filter: [x∈b|p[x]],
bag-maximal?: bag-maximal?(bg;x;R)
FDL editor aliases :
bag-maximals
Latex:
bag-maximals(bg;R) == [x\mmember{}bg|bag-maximal?(bg;x;R)]
Date html generated:
2016_05_15-PM-02_30_39
Last ObjectModification:
2015_09_23-AM-07_39_21
Theory : bags
Home
Index