为：一个拟群 ("Q", *, \, /) 是一种 (2,2,2) 代数，其满足等式:因此如果 ("Q", *) 是依据第一种定义的拟群，那么 ("Q", *, \, /) 则是其在泛代数范畴内对应的概念。
环.一个有单位元的拟群称为一个幺拟群或一个圈，也可称作一个环，这里的单位元是指 "Q" 中元素 "e" 使得：可以证明单位元 "e" 是唯一的，并且这时每一个 "Q" 中元素都有唯一的一个左逆元和右逆元。
性质.拟群具有可消去性：如果 "a