Ne (?)nesneler yığınıyla her (?) için A dan B ye yapı dönüşümleri adı verilen bir Yapı (A,B) kümesi ve her (?) için aşağıdaki koşulları gerçekleyen bir Yapı (A,B)xYapı (B,C) (?)Yapı (A,C) işlemi olan yapı : a) Yapı (A,B), Yapı (A',B') kümeleri A=A', B = B' olmadıkça ayrıktırlar, b) Her (...) için sırayla Yapı (...), Yapı (B,A) kümelerinin öğeleri için soldan ve sağdan birim görevini gören bir (?)Yapı (A,A) yapı dönüşümü vardır, c)(?)Yapı (A,B),(?)Yapı (B,C), 'he Yapı (C,D) için (hog)of = ho(gof) dir.

Nesnel gerçekliğin ve bilginin en genel ve temel özelliklerini, yanlarını ve ilişkilerini yansıtan temel kavramların, her biri.