# What is an expression?

It expresses something, i.e. it reduces to a value.

To construct:

It is the least set that satisfies a bunch of rules.