A set is a well-defined collection of objects where it is clear whether an element belongs to the set or not. Sets can be represented in roster form by listing elements or in set-builder form using properties to define elements. There are different types of sets including the empty set, singleton sets, finite and infinite sets, and equal and subset relationships between sets. Cartesian products and relations are ways to represent relationships between sets.