Haag–Kastler axioms