Nuprl Definition : fset-max
fset-max(f;s) == imax-list([0 / map(f;s)])
Definitions occuring in Statement :
imax-list: imax-list(L),
map: map(f;as),
cons: [a / b],
natural_number: $n
Definitions occuring in definition :
imax-list: imax-list(L),
cons: [a / b],
natural_number: $n,
map: map(f;as)
FDL editor aliases :
fset-max
Latex:
fset-max(f;s) == imax-list([0 / map(f;s)])
Date html generated:
2016_05_14-PM-03_39_17
Last ObjectModification:
2015_10_06-PM-01_37_17
Theory : finite!sets
Home
Index