A quantity has a unique physical-dimension. This function maps quantities to physical-dimensions. It is total for all physical quantities (as stated in the definition of physical-quantity).