流放:每次都會(huì)有，這是一個(gè)多余的動(dòng)作 關(guān)閉： 制造邊界的斷點(diǎn) 非維護(hù)性質(zhì)的一般運(yùn)作 滿(mǎn)足：維護(hù) 窮盡：一去不復(fù)返