Toby Bartels
set

A set is a preset equipped with an equivalence prerelation?.