الجبر, الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية النموذجالمجموعة القابلة للتعريف (Definable Set)