SETS: A Basic Set Theory Package

• exposé
• exposé - matière potentielle : for purposes of illustration

SETS: A Basic Set Theory Package Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK. Email: March 20, 2004 Abstract The SETS package for REDUCE3.5 and later versions provides algebraic-mode support for set operations on lists regarded as sets (or representing explicit sets) and on implicit sets represented by identi- fiers.

• undecidable predicate
• predicate subset
• later versions
• true evalb
• infix operators
• values of such operators
• similarity with the evalb function
• sets
• package
• list