This report is a study of the formal means for specifying properties of network structures as provided by the theory of information management systems. Along with axioms for some simple network structures we show examples of the manner of which intuitive observations on the structures are formulated and proved.