ekvivalensrelation
ekvivalensrelation, inom matematik och logik benämning på relationer som liksom logisk ekvivalens uppfyller kravet på att samtidigt vara reflexiva, symmetriska och transitiva.
Om R är en ekvivalensrelation i en klass K, kan man dela in K i disjunkta ekvivalensklasser, dvs. klasser sådana att de består av alla element i K som står i relationen R till något givet element i K.
Information om artikeln
Källangivelse