Eilenberg–Steenrod axioms

GPTKB entity