эффективный процесс

Пусть задано некоторое множество , часть элементов которого обладает свойством . Тогда эффективным процессом (методом, алгоритмом) называется такой процесс, который для любого элемента позволяет за конечное число шагов выяснить, обладает ли элемент свойством или не обладает.