積の法則・和の法則(集合版)