weak (partial) equivalence relations, weak setoids, and equational reasoning