Zasada abstrakcji, zasada identyfikacji elementów równoważnych – twierdzenie matematyczne mówiące, że dowolnemu rozbiciu zbioru odpowiada pewna relacja równoważności, a każda relacja równoważności ustanawia pewne rozbicie zbioru.
Twierdzenie Jeśli jest niepustym zbiorem i jest relacją równoważności w tym zbiorze, to rodzina podzbiorów określona następująco
jest rozbiciem zbioru , czyli ustala podział zbioru na niepuste i rozłączne podzbiory.
Zbiory należące do rodziny nazywane są klasami abstrakcji relacji .
Dowód Ponieważ relacja równoważności jest zwrotna, dla każdego zachodzi Stąd każdy element zbioru należy do pewnego zbioru z rodziny i żaden z tych zbiorów nie jest pusty. Ponadto, jeśli pewne dwa zbiory i nie są rozłączne, to istnieje które spełnia Wtedy z przechodniości relacji wynika, że czyli dla każdego takiego, że zachodzi również (z przechodniości).