https://www.dict.cc/german-english/Fixpunktsatz+von+Tarski+und+Knaster.html