Redirecting to Knaster–Tarski theorem