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.
TDK Matematik Terimleri Sözlüğü