Az akció egy sima objektum, amely leírja, mi történt ; a redukátor egy tiszta függvény, amely az aktuális állapotot és egy akciót vesz fel, és a következő állapotot adja vissza. Együtt megjósolható állapotátmeneteket valósítanak meg.
Akciók — írja le az eseményeket
{ : , : { : , : } }
{ : , : }
