generated at
完備
complete
summary
任意の小極限が存在すること

dual
余完備