Jangkar sumber: latihan koset setelah ex_aZ_top, tugas pembuktian pertama. Untuk \(a,b\in\Z\) dengan \(a\neq0\text{,}\) tetapkan \(A_{a,b}=a\Z+b=\{ak+b\mid k\in\Z\}\text{.}\) Buktikan bahwa \(\mathcal C=\{A_{a,b}\mid a,b\in\Z,\ a\neq0\}\) merupakan basis untuk suatu topologi pada \(\Z\text{.}\) Rubrik. Tunjukkan cakupan dan konstruksi anggota basis yang berada di dalam setiap irisan yang relevan.