"semidefinit" Englisch