Ekvivalentrilato: Malsamoj inter versioj

[[Parta ekvivalentrilatoPraekvivalentrilato]] estas transitiva kaj simetria, sed ne refleksiva.

Transitiveco kaj simetrieco implicas refleksivecon [[se kaj nur se]] por ĉiu ero ''a'' de ''X'' ekzistas (eble la alia) ero ''b'' de ''X'' tia ke ''a ~ b''. Tiam porpro la simetrieco verasvalidas ankaŭ ''b ~ a'', kaj pro la transitiveco el ''a ~ b'' kaj ''b ~ a'' sekvas ke ''a ~ a''.