An eraser holder is empty if there is no eraser in it.