Пусть
- исходное отношение,
- подмножество его атрибутов, причём - скаляр.
Кроме того,
и - сравнимые атрибуты в (определены на одном домене), а
- множество бинарных операций.
Тогда
выборка (ограничение) - это унарная операция s над отношением по формуле :
,
где
- результирующее отношение,
или .
Следовательно, выборка возвращает отношение , содержащее все те кортежи отношения , которые удовлетворяют заданному условию .
Например: для отношения “Деталь”