Αποτελέσματα Αναζήτησης
Basic notions of (naïve) set theory; sets, elements, relations between and operations on sets; relations and their properties; functions and their properties. Examples of informal proofs: direct, indirect and counterexamples. set is a collection of entities. We use notation with curly braces “f : : :g” to represent such a collection.
Set theory, relations, and functions (II) Review: set theory – Principle of Extensionality – Special sets: singleton set, empty set – Ways to define a set: list notation, predicate notation, recursive rules – Relations of sets: identity, subset, powerset – Operations on sets: union, intersection, difference, complement – Venn diagram
Set Operators • Relation is a set of tuples, so set operations should apply: ∩, ∪, −(set difference) • Result of combining two relations with a set operator is a relation => all its elements must be tuples having same structure • Hence, scope of set operations limited to union compatible relations
Subsets and Set Equality Definition Set A is a subset of set B iff every element of A is also an element of B. Formally: A B $8x(x 2A !x 2B) In particular, ; S and S S for every set S. Definition Two sets A and B are equal iff they have the same elements. Formally: A = B $A B ^B A. E.g., f1;5;5;5;3;3;1g= f1;3;5g= f3;5;1g.
Set Theory Basics.doc 1.4. Subsets A set A is a subset of a set B iff every element of A is also an element of B. Such a relation between sets is denoted by A ⊆ B. If A ⊆ B and A ≠ B we call A a proper subset of B and write A ⊂ B. (Caution: sometimes ⊂ is used the way we are using ⊆.) Both signs can be negated using the slash ...
– Selection ( ) Selects a subset of rows from relation. – Projection ( ) Deletes unwanted columns from relation. – Cross-product ( ) Allows us to combine two relations.
In it we study the structure on subsets of a set, operations on subsets, the relations of inclusion and equality on sets, and the close connection with propositional logic. set (or class) is an (unordered) collection of objects, called its elements or members. We write a 2 X when a is an element of the set X.