H bir değişmeli tekçe ve G bir değişmeli öbek olmak üzere(...)lerin dolaysız toplamı G olacak biçimde G nin altöbeklerinden oluşan (?) takımı.