Any statement about all elements of the empty set is automatically true. For example, all integers between two and three are greater than seven. This only makes sense because there are no integers between two and three. This kind of truth is called vacuous truth.