Next: , Previous: ep, Up: Equivalence Rules


6.2.10 Subsumption