en: Then the equalizer is again the entire domain `` X '' , since the universal quantification in the definition is vacuum-suitable . Then the equalizer is again the entire domain `` X '' , since the universal quantification in the definition is vacuously true .
ms: Kemudian penyamaan sekali lagi seluruh domain "X"', kerana kuantifikasi sejagat dalam takrifan adalah vakum-sesuai. Kemudian penyamaan sekali lagi seluruh domain "X"', kerana kuantifikasi sejagat dalam takrifan adalah benar secara vakum.