Two programs are said to be equivalent if, when they receive the same input,
A set of control statements is said to be complete if, for each possible program that can be written in the programming language, there is an equivalent one that contains only the control statements in the set.
Theorem by Böhm and Jacopini
The following statements form a complete set: sequencing, if statement, and while statement.