relation
رابطه
تصمیم‌پذیری
decidability
decidable relation
رابطه تصمیم‌پذیر