条件是抽象的{Q;+}，{N;+}都属于抽象群