Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

Sinfga to‗ldiruvchi hosil qilishning 
mohiyatini berilgan sinf (to‗ldiriluvchi sinf) bilan 
qo‗shilganda universal sinfni xosil qiladigan sinfni topish tashkil etadi. To‗ldiruvchi sinf berilgan 
sinfni (to‗ldiriluvchi sinfni) inkor etish yo‗li bilan xosil qilinadi. Masalan, 
«Televideniye» (A) ni 
to‗ldiriluvchisi nf deb olsak universal sinf «Ommaviy axborot vositalari» (I) bo‗lgani holda, 
tuldiruvchi sinf «Televideniye emas ommavi yaxboro tvositalari»dan (A
1
) iborat bo‗ladi. Uning 
sxemasi quyidagicha: Simvolik ifodasi esa:
Sinflar ustida olib boriladigan amallar ma‘lum qoidalarga bo‗ysunadi.Ular quyidagilardan 
iborat: 
AUAqA 
idempotentlik qonuni 
A∩AqA 
AUVqVUA 
kommutativlik qonuni 
А 
В 

---

287 
A∩VqV∩A 
AU(VUS) q AU(VUS)
assotsiativlik qonuni 
A∩ (V∩S) q A∩ (V∩S) 
AU(A∩V)qA 
yutish qonuni 
A∩ (AUV)qA 
AU(V∩S) q (AUV)∩(AUS)
distributivlik qonuni 
kommutativlik qonuni 
assotsiativlik qonuni
yutish qonuni 
distributivlik qonuni