、 、 、 、 、 、 、 、 、 は完備かつ余完備である。 命題 は完備かつ余完備である。 （証明） 完備性はすでにみた。 余完備性は、余積とコイコライザの存在から言える。 の余積は直和、コイコライザは は から生成される同値関係で を割ったもので、 すな…