Свойство алгоритма, заключающееся в том, что каждое действие и сам алгоритм в целом, должны иметь возможность завершения.

• конечность
• дискретность
• детерминированность
• массовость
• результативность