Subquasigroup

From Groupprops

is a subquasigroup of the quasigroup , if and are quasigroups and is a subset of .