The main axiom for a vertex operator algebra (over a field of characteristic zero), the Jacobi identity, is extended to multi-operator identities. Then relative [bold capital]Z₂-twisted vertex operators are introduced and a Jacobi identity for these operators is established. The…