"Çoxluqlar nəzəriyyəsi" səhifəsinin versiyaları arasındakı fərqlər

Düzəlişin təsviri yoxdur.
Çoxluq nəzəriyyəsində elementar loqika <math>\in</math> yeganə əsas nisbət hesab olunur. Qalan bütün çoxluq nəzəriyyəsinə aid anlayışlar və mülahizələr birinci dərəcəli məntiq əsasında müəyyən olunurlar.
 
==== xiyarcoxluqDəqiq Alt Çoxluğu ====
 
[[Şəkil:Set subsetAofB.svg|thumb|right|''A'' çoxluğu ''B''-nin altçoxluğudur]]
 
Bir çoxluq <math>A</math> digər çoxluğun <math>B</math> o vaxt dəqiq altçoxluğu adlanır ki, <math>A</math> çoxluğuna aid olan istənilənixtiyari element həm də <math>B</math> çoxluğunaçoxluğunun aidelementi olsun.
 
<math>B</math> o zaman <math>A</math>-nin üstçoxluğu adlanır. Formal olaraq:
158

edits