階数とは、vの値群をGとし、Gの部分群Hで0≤y≤xを満たすGの元x,yに対し、xがHの元であれば、yもHの元であるという条件を満たすものの個数である。
一幺半群G的子幺半群是G的子集H，其包含有单位元，且若x、y属于H，则xy属于H。