beállított különbség
A különbség a két készlet - a halmazelméleti művelet, ami egy sor, amely tartalmazza az összes elemet az első készlet, amely nem tartalmazza a második készlet. Jellemzően, a különbség az A és B halmaz jelöli, A ∖ B. de néha megtalálja a kijelölés A - B és A ~ B.
Hagyja, A és B - két definíciójában a készlet, akkor a köztük lévő különbség határozza meg (nyelvi-elméleti):
Ez a készlet gyakran nevezik kiegészítője B. A halmaz (Csak akkor, ha a beállított B teljesen tartozik a beállított A)
Ez általában feltételezik, hogy a figyelembe vett részhalmaza azonos készlet, amely ebben az esetben az úgynevezett univerzumban. például X. Akkor úgy minden beállítása együtt A ⊂ X és komplementere relatív X ∖ A. amelynek értelmében a megjelölést gyakran elhagyható univerzumban ikon: ∖ A [forrás nem meghatározott 324 nap]; ugyanakkor azt mondja, hogy ∖ A - (a) a komplement a (megadása nélkül kiegészítse, mi ezt meg).
Tekintettel a megfigyelések, úgy tűnik, hogy A ∖ B = A ∩ (∖ B). amely a komplement B, hogy A jelentése a kereszteződés egy több készlet A és B sorozat kiegészítők.
A művelet beállítja a különbség nem definíció szerint szimmetrikus belül a készletek. Szimmetrikus kiviteli alaknál halmazelméleti különbség két készlet által leírt fogalma szimmetrikus különbség.
Legyen A. B. C. D - tetszőleges készletek.
A csomag Mathematica művelet megvalósítható-kiegészítő funkcióval. A csomag MATLAB ez megvalósítható setdiff funkciót.
A Pascal programozási nyelv (és annak tárgya bővülő Object Pascal) különbség működés képviseli az üzemeltető meghatározza „-”, mindkét operandus és az eredmény a teljesítés értékek típusú készlet.
meghatározás
Hacsak a szövegkörnyezet azt jelenti, hogy minden sorozat megfontolás alatt részhalmazai rögzített univerzum X. komplement működés meghatározni: