"index set" Deutsche bedeutung