Introduciamo brevemente due concetti che in seguito saranno molto utilizzati:
Un esempio di contesto è dove al posto di possiamo sostituire una qualsiasi espressione della nostra algebra.