Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF