U+2286 "⊆" Subset of or Equal To Unicode Character

U+2286 "⊆" Subset of or Equal To is a mathematical symbol used in set theory to denote that every element of the first set is also an element of the second set, with the additional possibility that the two sets are identical. Visually composed of a rounded C shape opening to the right with a single horizontal line beneath it, this notation follows the same pattern as the similar but distinct "⊂" symbol for proper subset. In formal logic and mathematics, "⊆" is frequently employed in proofs and definitions to express inclusion that allows for equality, such as stating that the set of natural numbers ⊆ the set of integers. Its counterpart for inequality is the "⊈" not subset of symbol.