En informática teórica , en particular en la demostración automatizada de teoremas y la reescritura de términos , la contención , [1] o la inclusión , preordenar (≤) en el conjunto de términos , se define mediante [2]