Definition
Empty Clause
The empty clause is a clause containing no literals. It is denoted by .
Since a clause is satisfied if at least one of its literals is true, and the empty clause has no literals, it is unsatisfiable under every interpretation.