Setoid

A *setoid* is a mathematical structure that extends the concept of a set in order to incorporate an equivalence relation. Specifically, a setoid consists of a set equipped with an equivalence relation that allows you to identify certain elements as "equal" in a way that goes beyond mere identity. Formally, a setoid can be defined as a pair \((A, \sim)\), where: - \(A\) is a set.