küme+ işlem yapılarının özelliklerini inceleyen matematik alanı.
ne nerede tanımlıdır, hangi işlem hangi kümede neyin üzerine dağılır, fonksiyonların fonksiyonları nasıl davranır gibi sorularla uğraşır. bu sayede -örneğin rubiks kübünün en kısa çözümü gibi- küme ve cebirle alakasız görünen konular, bu teori ve alanların akıl kuveti kullanılarak incelenebilir.
vallahi küme teorisine girmeden, pop tanımı ancak bu kadar oldu.