Holland's schema theorem  Holland's schema theorem, also called the fundamental theorem of genetic algorithms, is an inequality that results from coarse-graining an equation for evolutionary dynamics. The Schema Theorem says that short, low-order schemata with above-average fitness increase exponentially in frequency in successive generations. The theorem was proposed by John Holland in the 1970s. It was initially widely taken to be the foundation for explanations of the power of genetic algorithms. However, this interpretation of its implications has been criticized in several publications reviewed in , where the Schema Theorem is shown to be a special case of the Price equation with the schema indicator function as the macroscopic measurement. A schema is a template that identifies a subset of strings with similarities at certain string positions. Schemata are a special case of cylinder sets, and hence form a topological space. Consider binary strings of length 6. The schema codice_1 describes the set of all strings of length 6 with 1's at positions 1, 3 and 6 and a 0 at position 4. The * is a wildcard symbol, which means that positions 2 and 5 can have a value of either 1 or 0. The "order of a schema" formula_1 is defined as the number of fixed positions in the template, while the "defining length" formula_2 is the distance between the first and last specific positions. The order of codice_1 is 4 and its defining length is 5. The "fitness of a schema" is the average fitness of all strings matching the schema. The fitness of a string is a measure of the value of the encoded problem solution, as computed by a problem-specific evaluation function. Using the established methods and genetic operators of genetic algorithms, the schema theorem states that short, low-order schemata with above-average fitness increase exponentially in successive generations. Expressed as an equation:  Here formula_4 is the number of strings belonging to schema formula_5 at generation formula_6, formula_7 is the "observed" average fitness of schema formula_5 and formula_9 is the "observed" average fitness at generation formula_6. The probability of disruption formula_11 is the probability that crossover or mutation will destroy the schema formula_5. It can be expressed as:  where formula_1 is the order of the schema, formula_15 is the length of the code, formula_16 is the probability of mutation and formula_17 is the probability of crossover. So a schema with a shorter defining length formula_2 is less likely to be disrupted.An often misunderstood point is why the Schema Theorem is an "inequality" rather than an equality.