فئة جزئية

الفئة أو المجموعة الجزئية Subset مصطلح رياضي في فرع نظرية الفئات، إذا كان كل عنصر في المجموعة أ أيضاً عنصراً في الفئة ب تسمى عندها الفئة أ فئة جزئية من ب. إذا كانت أ فئة جزئية من ب و ب فئة جزئية من أ ، عندها يكون أ=ب. العلاقة بين فئة تكون فئة جزئية من فئة أخرى تسمى علاقة إحتواء.

Euler diagram showing
A is a proper subset of B,  AB,  and conversely B is a proper superset of A.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

التعريف

إذا كان كل عنصر في الفئة A أيضاً عنصراً في الفئة B عندها:

  • الفئة A هي فئة جزئية (او محتواة) في B.  
  • الفئة B هي فئة فائقة (أو حاوية) للفئة A.  


أمثلة

انظر أيضاً

الهامش

ببليوگرافيا

  • Jech, Thomas (2002). Set Theory. Springer-Verlag. ISBN 3-540-44085-2.

وصلات خارجية

قالب:Mathematical logic قالب:Set theory