Man kann bestimmte Eigenschaften für eine Menge bezüglich einer vorgegebenen Verknüpfung fordern und andere Eigenschaften der...