Untuk aktivitas tanpa ID sesudah teorema De Morgan, verifikasi kedua hukum pada \(A_n=\{1,\ldots,n\}\text{,}\) \(n\in\Z^+\text{,}\) dengan semesta \(\Z\text{.}\)