The axiom 5 of modal logic is the formula
◊ϕ→□◊ϕ \Diamond \phi \to \Box \Diamond \phi ◊ϕ→□◊ϕ
Axiom 5 is the fundamental ingredient of the modal logic S5.
Any good book on modal logic.
Wikipedia article on S5