3.2　The Environ Section

We will first explain the environ section. In the environ section, the necessary environmental set up for an article is conducted. Specifically, we write definitions, theorems, and vocabularies that the article phrases, and declare file names of the article that have them.
    The environ section is constructed of the following items.

       environ
           vocabulary　　　· · · ;
           notation　　　　· · · ;
           constructors　 · · · ;
           definitions　　　· · · ;
           theorems 　　　· · · ;
           schemes　　　　· · · ;
           requirements 　· · · ;

    We will explain each item in the environ section.