全称量化