\sqsubsetThe symbol \sqsubset is used to denote a relation that is similar to the subset relation but is typically used in contexts where the elements are not strictly sets. It can represent a partial order or a more general relation between elements in a set or structure.
Indicates that A is related to B in a partial order or hierarchy.
A \sqsubset BDemonstrates a property of a function preserving the relation.
x \sqsubset y \Rightarrow f(x) \sqsubset f(y)Illustrates the transitive property of the relation.
p \sqsubset q \land q \sqsubset r \Rightarrow p \sqsubset r