improve readability using _∋_≈_ instead of Setoid._≈_