Equivalenza vs. Congruenza
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
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
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.
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.