An expression in the domain relational calculus is of the form:
1. \(\lbrace P(x_1, x_2,..., x_n)|<x_1, x_2,..., x_n>\rbrace\)
2. \(\lbrace x_1, x_2, ..., x_n | < x_1, x_2, ..., x_n >\rbrace\)
3. \(\lbrace x_1, x_2, ..., x_n | x_1, x_2, ..., x_n \rbrace\)
4. \(\lbrace < x_1, x_2, ..., x_n > | P(x_1, x_2, ..., x_n)\rbrace\)