{} represents a set; |' is a symbol and can be changed to':';

The content before' |' represents the representative elements of the collection;

Then there is the nature of the element.

For example:

{x | x>2, x is a real number }: x is a representative element; X>2, where X is a real number, is a property of an element.