Ich würde gerne erfahren, wie man besondere Mengen mit Relationen angeben kann, die bestimmte eigenschaften erfüllen.
z.B. sollte eine Menge NUR die Eigenschaften "Transitiv und Reflexiv" haben.
Wie würde man nun vorgehen, um genau so eine Menge anzugeben, ohne dass sie noch andere Eigenschaften (wie z.B. Symmetrisch) enthält.