La herradura [1] ( ⊃ , \ supset en TeX) es un símbolo que se usa para representar:
Fue utilizado por Russell y Whitehead en Principia Mathematica . En Unicode, el símbolo está codificado U + 2283 ⊃ SUPERSET OF (HTML ⊃
· ⊃, &Superset, &supset
).