In particular, they do not exclude states s such that pop(s) = s or push(s, x) = s for some x.
Ειδικότερα, δεν απαγορεύουν την ύπαρξη καταστάσεων s έτσι ώστε pop(s) = s ή push(s,x) = s για κάποιο x.