Biarkan X menunjukkan bagian dari unsur-unsur alam semesta U (U X⊂). Pendekatan yang lebih rendah dari X di B (BA), dilambangkan sebagai BX, didefinisikan sebagai penyatuan semua set dasar yang terkandung dalam X.
Sedang diterjemahkan, harap tunggu..
