Fundamental to the theories presented in this and subsequent chapters is that certain relations and concepts belong to a fragment of science and others do not. Those that belong are called “meaningful” (with respect to the fragment) and those that do not are called “meaningless” (with respect to the fragment). A theory of meaningfulness consists of giving necessary conditions for meaningfulness.