Toward the mathematics of a general theory of behavior, 1 The lattice צ0