Contesti e congruenze

Introduciamo brevemente due concetti che in seguito saranno molto utilizzati:

Definizione 4..6 (Contesto)   Un contesto è un'espressione algebrica con un 'buco', che indicheremo con C$ [\:]$

Un esempio di contesto è $ b+[\:]$ dove al posto di $ [\:]$ possiamo sostituire una qualsiasi espressione della nostra algebra.

Definizione 4..7 (Congruenza)   Una relazione $ \sim_{\mathcal{C}}$ è una congruenza se: $ \forall C[\:]$

$\displaystyle P \: \sim_{\mathcal{C}} \: Q \quad \Rightarrow \quad C[P] \:
\sim_{\mathcal{C}} \: C[Q]
$



Morpheus 2004-02-10