Definition:Left Coset Space