 Measurement in PM is based on the relations between objects that are the basis for the operation of measurement, that one object is heavier than another, or longer than another. Quantities are then equivalence classes of objects which have the same relations to others. Operations are defined on quantities, so that: