The finite basis property of $T$-spaces over fields of characteristic zero

In this paper we prove that any $T$-space over a field of characteristic zero has a finite basis. This result generalizes Kemer's theorem on the existence of a finite basis for any system of associative identities over a field of characteristic zero.