Definable
Ayırt edilebilir , Tanımlanabilir , Tanınabilir