「mは3の倍数」を m∈3Z と書きたくなる