On definitions of groupoids closely connected with quasigroups

Both “existential” and “equational” definitions of binary quasigroups and groupoids closely connected with quasigroups are given. It is proved that a groupoid $(Q,\cdot)$ is a quasigroup if and only if all middle translations of $(Q,\cdot)$ are bijective maps of the set $Q$.