Pour chaque règle N\rightarrow\alpha dans G, FIRST(N) doit contenir tous les symboles dans FIRST(\alpha), y compris \epsilon si FIRST(\alpha) le contient.
Pour chaque alternative ou queue alternative \alpha de la forme A\beta , FIRST(\alpha) doit contenir tous les symboles dans FIRST(A), hormis \epsilon si tant est que FIRST(A) le contient.
Pour chaque alternative ou queue alternative \alpha de la forme A\beta telle que FIRST(A) contient \epsilon, FIRST(\alpha) doit contenir tous les symboles de FIRST(\beta), y compris \epsilon si tant est que FIRST(\beta) le contient.