Ekvivalenčna relacija: Razlika med redakcijama

m
m+/dp/slog/gt
m (Bot: Migracija 45 interwikija/-ev, od zdaj gostuje(-jo) na Wikipodatkih, na d:q130998)
m (m+/dp/slog/gt)
'''Ekvivalenčna relacija''' v [[matematika|matematiki]] je [[dvočlena relacija|dvočlena]] [[relacija]] ~ (včasih označena tudi kot ''R'') v [[množica|množici]] ''A'', če veljajo za poljubne elemente ''a'', ''b'' in ''c'' množice lastnostiznačilnosti:
 
# Zaza vsak ''a'' velja ''a'' ~ ''a'' ([[Refleksivnostrefleksivnost|Zakonzakon o povratnosti (refleksivnosti)]].
# Iziz ''a'' ~ ''b'' sledi ''b'' ~ ''a'' ([[Simetričnostsimetričnost|Zakonzakon o vzajemnosti (simetričnosti)]]).
# Iziz ''a'' ~ ''b'' in ''b'' ~ ''c'' sledi ''a'' ~ ''c'' ([[Tranzitivnosttranzitivnost|Zakonzakon o prehodnosti (tranzitivnosti)]]).
 
== Zgledi ekvivalenčnih relacij ==
 
* [[enakost]] (»=«), [[relacija enakosti]] med [[realno število|realnimi števili]] ali množicami,
* relacija »je kongruentno po [[modul]]u <math>m\, </math>« med [[celo število|celimi števili]],
* relacija »je podobno« med množico vseh [[trikotnik]]ov,
* relacija »ima rojstni dan kot« med množico vseh ljudi,
* [[relacija ekvipolence]] med množicami.
 
== Glej tudi ==
 
* [[ekvivalenčni razred]]
 
[[Kategorija:Relacije]]