ABSTRACT
The language of set theory is used throughout computer science. Relations between sets are also very important in some areas of computer science, especially when studying databases. A set is a well-defined collection of objects. The objects in a set are usually called the elements of the set, though sometimes they are called the members of the set. Sets can be written in one of two different ways. They can be written in an enumerated formenumerated form or in a predicate form. Venn diagrams are very common in set theory. Venn diagrams are only a picture, or cartoon that helps to understand what is going on. The laws of set theory can be used to simplify complicated set theory expressions. Venn diagrams can be very useful in helping to understand the laws of set theory. Venn diagrams can be used to understand the laws of set theory, but they cannot be used to actually prove the laws of set theory.
