Presupposition

A presupposition is anything that a native speaker of a language knows is part of the meaning of a sequence of that language,  even if it doesn't appear on the surface of the sequence .