Translations:Help:Basic membership properties/162/de
Jetzt sind $1, $2, $3 und $4 alle transitive (indirekte) Instanzen von $5. Im Allgemeinen können wir abstraktere Objekte (wie $6) anstelle von Aufzählungen ($7 und $8) verwenden, sowohl: 1. in unseren Aussagen als auch 2. in unseren Fragen (nicht auf dieser Hilfeseite behandelt).