/Я language (β)/Glossary/Setoid/

Setoid is a set equipped with equality relation. You can use it with eq operator.