Setoid
= Setoid
{wiki=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.