Примеры

definable - поддающийся определению, определимый;
disjunctively definable predicate - дизъюнктивно определимый предикат;
finitely definable variety - конечно определимое многообразие;
implicitly definable formula - неявно определимая формула;
implicitly definable function - неявно определимая функция;
implicitly definable set - неявно определимое множество;