Un phylum est un sous-ensemble de l'ensemble des opérateurs. Il se définit donc par la donnée d'une liste, non ordonnée, d'opérateurs ou de phyla. On note symboliquement : PHYL ::= PHYL1···PHYLN oper1···operM ;
Les opérateurs oper1···operM sont déclarés appartenir au phylum PHYL ; les opérateurs appartenant aux phyla PHYL1···PHYLN appartiennent aussi au phylum PHYL.