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 .