Правильно построенные формулы

Формулами теории λ называются выражения в алфавите вида

u = v,

где u и v — лямбда-термы.

λ — эквациональная теория, т.е. единственное отношение (предикат) в ней — это символ равенства '='.