この "f" が連続ならば、この不動点は ⊥ の反復列(⊥, "f"(⊥), "f"("f"(⊥)), … "f""n"(⊥), …)