Jabarkan Himpunan kosong dari Kuantifikasi semesta

Berdasarkan konvensi, rumus  selalu benar untuk  manapun.

Universal closure dari rumus  menyatakan rumus tanpa variabel bebas yang diperoleh dengan menambahkan kuantor universal untuk setiap variabel bebas di . Sebagai contoh, universal closure dariditulis