Resultats de la cerca
Es mostren 2 resultats
imatge d’una classe
Lògica
En la lògica de les relacions, classe de tots els elements que mantenen la relació R amb un membre, o amb diversos membres, d’una classe A
.
Simbòlicament és expressada per R'A = def x ∃y y EA xRy
inclusió
Lògica
En àlgebra de classes i en la de relacions, pertinença (expressada per ⊂) de tots els membres d’una classe a una altra, d’unes relacions a unes altres.
Simbòlicament, la inclusió de classes és definida com A ⊂B = df x x ∈A ⊃x ∈B, i la de relacions com R ⊂S = dfxyxRy ⊃xSy