This definition is equivalent to the first one.
Definisi ini setara dengan yang pertama.