penyelesaian dari 2y + 1 < 7 dan y € bilangan asli adalah

2y+1 < 7
2y < 7-1
2y < 6
y < 6/2
y < 3

hp:{ y | y < 7, y € bil asli}