cocomplete complete cofinite cocontinuous semiconvergent convergent limitate coatomistic coclosed conull