一連の処理が「すべて実行されるか、全くされないか」を保証する性質はどれか。

「同じコードを繰り返さない」というプログラミングの原則は何と呼ばれるか。