👉 An underset is a type of mathematical object in set theory that is defined by a formula or function. It represents an element of a set, and is used to define subsets of that set. For example, if we have a set S = {a, b, c} and we want to define the subset A of S as the set of all elements in S that are less than or equal to 1, then we can write: A = {x ∈ S | x ≤