the equivalence of these three definition is verified below