Pos-set
Fixtype of finite sets of positive integers.
This is an ordinary fty::defset.
Subtopics
- Pos-sfix
- (pos-sfix x) is a usual fty set fixing function.
- Pos-setp
- Recognizer for pos-set.
- Pos-set->=-pos
- Check if all the positive integers in a given set
are greater than or equal to a given positive integer.
- Pos-set-max
- Maximum of a set of positive integers.
- Pos-sequiv
- Basic equivalence relation for pos-set structures.
