Definability Theory related domains (1)