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