Колекция от елементи, в които само най-ранните добавя елемент може да има достъп. Основни операции са добавяне (към опашката) или запитвам и изтриване (от главата) или dequeue. Изтриване връща елемент премахнат. Също така известен като "първия, работи на принципа" или FIFO. Официално определение: това е удобно да определите изтриване или dequeue по отношение на премахване и нова операция, фронт. New() операции, Добавяне на (v, Q), front(Q) и remove(Q) могат да се определят с аксиоматична семантика, както следва.

1. new() връща опашка
2. фронт (Добави (v, new())) = v
3. Премахване (Добави (v, new())) = new()
4. фронт (Добави (v, добавете (w, Q))) = фронт (Добави (w, Q))
5. Премахване (Добави (v, добавете (w, Q))) = добави (v, премахнете (Добави (w, Q)))