All three definitions are equivalent, so it does not matter which one is used.
Ketiga definisi tersebut sama, jadi tidak masalah yang mana yang digunakan.