حاسبة فرعية.

 
Enter the set A(superset) =
Enter the set B =
The set B is = of set A

في الرياضيات، لا سيما في نظرية المحددة، مجموعة مجموعة فرعية من مجموعة B، أو معادل B هي استبدال A، إذا كانت "الواردة" داخل B، أي أن جميع عناصر A هي أيضا عناصر من B. A و B قد يتزامن. تسمى علاقة واحدة مجموعة فرعية من آخر إدراج أو الاحتواء في بعض الأحيان.

تعرف العلاقة الفرعية ترتيب جزئي على مجموعات. تشكل الجبر الفرعي للجبر المنطقي الذي يسمى فيه العلاقة الفرعية للإدماج.

إذا كانت A و B هي مجموعات ولكل عنصر من عناصر A أيضا عنصر من B، ثم: a مجموعة فرعية من (أو يتم تضمينها) ب، مع الإشارة إليها من قبل ⊆ B

بعض الخصائص الأساسية للنقابات:

A ∪ b = b ∪ a .

A ∪ ( b ∪ c ) = ( a ∪ b ) ∪ < أنا> ج .

a ⊆ ( a ∪ b ).

a ∪ a = a .

a ∪ ∅ = a .

<ط> A ⊆ b إذا وفقط إذا كان a ∪ b = b .

حاسبة فرعية.