のように和集合で規定する。