"algebraically compact set" Deutsche bedeutung