A set which contains no elements.