"x" は、ある "y" の元で割り切れる数の集合とする。