A Property Kind Calculus for Measurement Metrology

24. IEC 80000-6 — Electromagnetism🔗

The fourth part specified in full is IEC 80000-6, Electromagnetism — the one IEC-published part of the series. Every item — all of 6-1 … 6-62, including every sub-suffixed item (6-2.1/6-2.2, 6-11.1 … 6-11.4, 6-14.1/6-14.2, 6-19.1/6-19.2, 6-22.1 … 6-22.4, 6-26.1/6-26.2, 6-35.1/6-35.2, 6-37.1 … 6-37.3, 6-41.1/6-41.2, 6-42.1/6-42.2, 6-51.1 … 6-51.5, 6-52.1 … 6-52.5) — is catalogued: electric current and charge, the charge and current distributions, the electric field and potential, the capacitances and permittivities, the magnetic field, flux, and potentials, the magnetic circuit, conductivity and resistivity, impedance and admittance, and the AC power quantities — each carrying its exact source as data: the part, the printed item designation, the principal quantity symbol, and the coherent SI unit symbol. Only citation locators are recorded; no normative content (definitions, remarks) from the licensed standard is reproduced. The defining mathematics of selected remarks is formalized in the sibling module Part6.DefiningRelations.

Electromagnetism brings the last SI base quantity the earlier parts did not exercise — electric current — and sharpens the two axes the calculus already pressed. The base axis enters as the ampere; PhysLib's Dimension takes electric charge C as its generator, so electric current appears as C·T⁻¹ (coulomb per second). The scale-type distinction recurs — electric potential is gauge-dependent, fixed only up to an arbitrary additive reference, hence interval-scale, while electric potential difference, of the very same dimension V, is ratio-scale (requirement R6). And the AC power quantities give the sharpest dimension does not classify case yet: active, reactive, and apparent power are all M·L²·T⁻³, yet the standard spends three different unit strings on that one dimension — the watt, the var, and the volt-ampere — and arranges them as a specialization lattice over power (requirement R2).

  1. 24.1. Quantity-kinds and units of IEC 80000-6
  2. 24.2. Electric potential: one dimension, two scales
  3. 24.3. The AC power family: distinguishing kinds by defining construction
  4. 24.4. Dimension does not classify; the kind does — the power and impedance cases
  5. 24.5. The algebraic Remarks as kind-laws: electromagnetism built by the kind algebra
  6. 24.6. Item index — IEC 80000-6