完備半順序 loading ...