The Z standard defines the representation, structure and meaning of the formal 
part of specifications written in the Z notation.

In addition to defining the formal part of the Z notation, the Z standard defines:


    

  1. a Library or Toolkit of mathematical functions for use in writing Z 
specifications; 
    2. 


  2. an Interchange Format for Z documents that enables them to be prepared, 
stored and transmitted within computer networks; 
    3. 


  3. a deductive system for formal reasoning about Z specifications.
    4. 



A Z document may contain both formal and informal text.  The lexis of the 
standard does not define how the formal and informal parts are defined; this is 
defined in the Interchange Format.  The Interchange Format does not define the 
structure of the informal part of a Z document.

The standard does not define a method of using Z.