Teilmenge, Untermenge

<=> Menge

<== Potenzmenge

<== Relation

<== Teil-von-Relation

<== System, formales