Задача нахождения квадратного корня

Математическая постановка - декларативное описание
ЧТО?
√‾x = y,
такое что   0 ≤ y и y2 = x.