Class BOUNDED

Something is bounded if it can be a member of a set. This is a KIF primitive.

• Defined in theory: Kif-sets
• Source code: kif-sets.lisp