Definition:Left Quasigroup