Definition und Lösbarkeit