On the consistency rule in causal inference: axiom, definition, assumption, or theorem?

On the consistency rule in causal inference: axiom, definition, assumption, or theorem?