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 [math]E[/math] i [math]S[/math], z działaniami
[math]w\colon E \times S \rightarrow S [/math]
[math]u\colon S \rightarrow S [/math]
[math]p\colon S \rightarrow E [/math]
[math]e\colon S \rightarrow {true, false}[/math]
[math]=_E \colon E \times E \rightarrow {true, false} [/math]
spełniającymi następujący zbiór aksjomatów