  We present mathematical definitions for rights structures, government and
non-attenuation in a generalized N-person game (Debreu abstract economy), thus
providing a formal basis for property rights theory.
