for E being non empty set
for F being Function st F is_definable_in E holds
F is_parametrically_definable_in E