As we stated earlier, these two definitions are equivalent.
Ako sme už povedali, tieto dve definície sú ekvivalentné.