Kolekce položek, v nichž pouze nejstarší přidané položky mohou přistupovat. Základní operace jsou přidávání (ocas) nebo enqueue a odstranit (z hlavy), nebo vyřazení. Delete vrací položku odebrat. Také známý jako "first-in, budou" nebo FIFO. Formální definice: je vhodné definovat odstranit nebo dequeue odebrání a nové operace, vpředu. Operace new(), přidejte (v, Q), front(Q) a remove(Q) může být definován s Axiomatická sémantika.

1. new() vrátí fronty
2. přední (přidat (v., new())) = v
3. Odstranit (přidat (v., new())) = new()
4. přední (přidat (v., přidejte (w, Q))) = přední (přidat (w, Q))
5. Odebrat (přidat (v., přidejte (w, Q))) = přidat (v., odstranit (přidat (w, Q)))