完備
complete
summary.icon
任意の
小極限
が存在すること
dual.icon
余完備