Let a, . a b if and only if there exists an integer k such that
The notation or makes sense in both cases. However, r would be more naturally expressed as or , where . But this notation when used for s is at best awkward. The notation x § y is clear and self-explanatory; it is a better notation to use than . Many of the relations we will work with "resemble" the relation , so is a common way to express the fact that x is related to y through the relation s.
Comments