A set of algorithms that help to maintain consistency across different nodes in a distributed system.