A relational symbol denoting strict superset containment without equality in set theory and formal logic.
