释义 |
algebra of classes : a branch of symbolic logic sometimes regarded as an independent discipline that deals with classes and has as its main operations the forming of logical products, sums, and complements — called also calculus of classes; compare inclusion, membership |