to which the file belongs.
</p>

<pre class="ebnf">
PackageClause = "package" PackageName .
PackageName   = identifier .
</pre>

<p>
The PackageName must not be the <a href="#Blank_identifier">blank identifier</a>.
</p>

<pre>
package math
</pre>

<p>
A set of files sharing the same PackageName form the implementation of a package.