Definition:Left Coset