vertex algebra

vector space equipped with a vacuum element, a translation operator and a state‐to‐field map satisfying the Borcherds identity