描述法是集合论（或者类的理论）中表示集合（或类）的一种方法。

在一般情况下，只要给出一个关于元素的性质，就能依该性质构造出一个集合（或类），因此我们可以用描述该性质的方法来表示相应的集合（或类）。如用{x|x≥1.2}表示不小于1.2的全体实数，等等。

在描述法中，对于客观问题，我们可以直接将性质描述在花括号中，这种方法称为“直接描述法”；对于数学问题，我们通常先用一个字母（或其元素的一般形式）代表其元素的“通项”，然后用数学表达式给出通项应满足的条件，这种方法称为“通项描述法”，“|”是通项描述法的特征符号。

In logic and mathematics, an intensional definition gives the meaning of a term by specifying all the properties required to come to that definition, that is, the necessary and sufficient conditions for belonging to the set being defined.

For example, an intensional definition of bachelor is "unmarried man". Being an unmarried man is an essential property of something referred to as a bachelor. It is a necessary condition: one cannot be a bachelor without being an unmarried man. It is also a sufficient condition: any unmarried man is a bachelor.