FoxCalculators - Gratis rekenmachines online!

Στα μαθηματικά, ειδικά στη θεωρία που ένα είναι ένα υποσύνολο ενός συνόλου Β, ή ισοδύναμα Β είναι ένα υπερσύγχρονο του Α, εάν το Α είναι "περιείχε" μέσα Β, δηλαδή, όλα τα στοιχεία του Α είναι επίσης στοιχεία του Β. Α και Β μπορεί να συμπίπτουν. Η σχέση ενός σετ που είναι ένα υποσύνολο ενός άλλου ονομάζεται συμπερίληψη ή μερικές φορές περιορισμό.

Η σχέση υποσύνησης ορίζει μια μερική εντολή σε σύνολα. Η άλγεβρα των υποσυνόλων σχηματίζει μια άλγεβρα Boolean στην οποία η σχέση υποσύνησης ονομάζεται συμπερίληψη.

Εάν τα Α και Β είναι σύνολα και κάθε στοιχείο ενός είναι επίσης ένα στοιχείο Β, τότε: το Α είναι ένα υποσύνολο (ή περιλαμβάνεται) Β, που υποδηλώνεται από ένα ⊆ Β

Ορισμένες βασικές ιδιότητες των συνδικάτων:

a ∪ b = b ∪ a .

a ∪ ( b ∪ c ) = ( <<> I> c .

ένα ⊆ ( a ∪ b ).

a ∪ a = a .

a ∪ ∅ = a .

a ⊆ b αν και μόνο αν a ∪ b = b =.