Generalization

Home / Glossary / Generalization

Generalization refers to the #$genls predicate. A is said to generalize B iff (genls B A). The inverse relation is referred to as specification.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA