Approximation Properties on a Set Based on Equivalence Relations and Dominance Relations | Synapse