mathematical set notation with conditions, specifically expressions defining sets of elements satisfying certain properties (using braces, "in", and conditions).
LaTeX-style set builder and element-membership constructions, especially brace-delimited sets with conditions (e.g., expressions involving ∈, |/:, and infimums over such sets).