Empty Clause

An empty Clause is a clause without disjunctions.