A relation ~ on the set A is an equivalence if the following hold for every a, b and c in A:
Стаўленне ~ на мностве a з'яўляецца эквивалентностью, калі выконваюцца наступныя ўтрымання для кожнага а, b і C: