definability