一个原群（或者二元代数结构，或者单二元代数）$(S, \cdot)$是一个集合，在它上面装备了一个二元运算。