Asked by Gisvet

The operation § associated to any number means “divide the number by 3”.
Is the set of integers paired with the operation § a mathematical system?
Answered by MathMate
§9=3
§3=1
Is §1 ∈ Z?

where Z=set of integers, and ∈ ≡ "is in"