结合律。有单位元的拟群称作幺拟群或者圈（loop）。 
定义.拟群的正规定义有两种，分别带有一种和三种二元运算。
代数.一个拟群 ("Q", *) 是一个集合 "Q" 与一个二元运算 * 的结合（即一个原群），满足对 "Q" 中的任意元素 "a" 和 "b"，都存在唯一的 "Q" 中元素 "x" 和 "y"，使得：这两个唯一的元素被记作："x" = "a" \ "b" 和 "y" = "b" / "a"。其中“\” 和 “/”分别表示被二元运算所定义的“