Küme ve grup kavramları farklı matematiksel yapıları ifade eder: Küme, nesnelerin iyi tanımlı bir topluluğudur. Grup, bir küme ve bu küme üzerinde tanımlanmış, birleşme, birim eleman ve ters eleman özelliklerini sağlayan bir ikili işlemden oluşur. Bir grubun örnek olarak, tam sayıların toplama işlemiyle birlikte oluşturduğu küme verilebilir.