regel waardoor een deeluitspraak of een mogelijke uitspraak die overeenkomt met een bepaald voorschrift en voldoet aan de toegevoegde predikaten, wordt vervangen door de corresponderende vervangingsuitspraak(1); regel die iets zegt over de equivalentie van twee groepen symbolen, bijvoorbeeld zelfstandig naamwoord groep =