Equivalenza vs. Congruenza

hamming_burst
Salve,
avrei un piccolo dubbio di definizione.

Avendo la definizione di relazione di equivalenza in simboli $E~~E'$ ($E$ ed $E'$ qualunque)

Se definisco e generalizzo la congruenza ($E-=E'$) come:

$AA zeta[]$ contesto$\ |\ E~~E' rArr zeta[E]~~zeta[E']$

cioè $E$ è chiuso rispetto l'equivalenza di $E'$.

il mio dubbio: in questo caso la definizione di "congruenza" è una restrizione di "relazione di equivalenza", o questa definizione è "più forte" della definizione di equivalenza stessa?

se il dubbio è chiaro.
Ringrazio :-)


EDIT:
avevo sbagliato sezione

Risposte
hamming_burst
Facendo qualche ricerca, ho capito che questa generalizzazione è come un'altra definizione che conosco come "congruenza strutturale".
Se mettiamo in relazione le due caratteristiche delle definizioni, si può dire che se si utilizza la congruenza come definita sopra, e se si modificano gli elementi in relazione $E$ o $E'$ questo non altera la relazione di equivalente implicata. Perciò potrei dire che è una definizione "più forte" di equivalenza e una sua restrizione.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.