全称量化とドメインのイメージ