означает, что
- множество натуральных чисел, не больших
. Отсюда следует, что
.
означает, что
- множество натуральных чисел, меньших
, но не меньших
. Значит,
.
по условию - множество чётных натуральных чисел.
и
будет
. Их пересечением будет
.
.