Tìm số tự nhiên x biết x chia hết cho 5 và x nhỏ hơn hoặc bằng 30.

Ta có: x ⋮ 5

 x thuộc B(5)

B(5) = {0; 5; 10; 15; 20; 25; 30;…}

Vì x thuộc B(5) và x nhỏ hơn hoặc bằng 30

x ∈ {0; 5; 10; 15; 20; 25; 30}