Если в результате вычитания нужно получить целое неотрицательное число, и а принадлежит множеству целых неотрицательных чисел, то:
а ∈ {0; 1; 2; 3; 4; 5; 6}.
Если в результате вычитания нужно получить целое неотрицательное число, и а принадлежит множеству целых чисел, то:
a ∈ (-∞; 6]