Ist Menge von Zeichen?