Definition:Right Quasigroup