"|" heißt soviel wie: "mit der Eigenschaft" oder "für die gilt". Das hat nichts mit Ungleichungen im Speziellen zu tun, sondern wird häufig bei der Beschreibung von Mengen eingesetzt.