(The definition of VASS is usually formulated slightly differently.)
(ההגדרה של VASS בדרך כלל מנוסחת באופן מעט שונה.)