Basic informational axioms