✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
In Lean, equality is defined as an equivalence relation. Which of the following options correctly lists the three properties that define an equivalence relation?