B\subseteq A} in set theory, or the entailment relation B ⇒ A {\displaystyle B\Rightarrow A} in propositional logic respectively. See File:Relation1011.svg...
