Axiom of adjunction