This document discusses mathematical language and symbols. It defines key concepts such as sets, relations, functions, and binary operations. Sets are collections of distinct objects that can be defined using a roster or rule. Relations pair elements between two sets. A function is a special type of relation where each input is paired with exactly one output. Binary operations take two inputs from a set and return an output in that same set. Common properties of binary operations include commutativity and associativity.