The ability of a transaction to change a system from one consistent state to another consistent state.