Expression (Predicate Logic)

An expression of a first-order language is any finite sequence of symbols of the alphabet of the language.

$A_{\sigma }^{\ast }$ is set of all expressions that can be built by the symbols in the alphabet $A_{\sigma }$.