"bounded subsequence from above" Deutsche bedeutung