@stumpi @janboehm Je nachdem, wie man die Ungleichung liest, widerspricht das dieser auch nicht. Eine Interpretation: TERFs und Frauen sind verschiedene Gruppen. Dann wäre es offen, ob die Schnittmenge leer ist oder nicht. Es wäre nur ausgesagt, dass es in mindestens einer der Gruppen mindestens eine Person gibt, die nicht in der anderen Gruppe ist.