New formalizations for locality theory