A relational symbol denoting a proper subset relationship with additional emphasis on strict inequality in set theory.
