補集合

概要

今後記述予定。