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).
- 24.1. Quantity-kinds and units of IEC 80000-6
- 24.2. Electric potential: one dimension, two scales
- 24.3. The AC power family: distinguishing kinds by defining construction
- 24.4. Dimension does not classify; the kind does — the power and impedance cases
- 24.5. The algebraic Remarks as kind-laws: electromagnetism built by the kind algebra
- 24.6. Item index — IEC 80000-6