Principle: Last in, First out (LIFO)

the last element inserted is the first one to be removed

Def. A stack of elements is a finite sequence, together with the following operations:
create an empty stackemptypush a new entry onto the top of the stack, provided the stack is not fullpop the