– matematikalıq logikanıń hám kóplikler teoriyasınıń formulaların súwretlewdiń grafikalıq usılı. Máselen, kóplikler arasındaǵı qatnaslardı ayqınraq kóz aldıǵa keltiriw ushın Venn diagrammalarınan paydalanıladı. Bunda kóplikler dóńgelek yamasa oval (sopaq) formada, al universallıq kóplik tuwrımúyeshlik formada súwretlenedi. Mısalı: