Stosy - struktura algebraiczna

Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.
Definicja
Struktura algebraiczna [math]A = \langle E \cup S; w, u, p, e, =\rangle [/math] , której uniwersum jest sumą dwu rozłącznych zbiorów E i S, z działaniami
w: E x S -> S
u: S -> S
p: S -> E
e: S -> {true, false}
=: E x E -> {true, false}
spełniającymi następujący zbiór aksjomatów