Lazi

SFP x intérieur (strict) au SFP y, imbrication

Contexte

Vocabulaire pour décrire une relation entre deux SFP.

Définition

On dit que le SFP x est intérieur au SFP y ssi y est le début de la liste x.

On dit que le SFP x est intérieur strict au SFP y ssi x≠y et x est intérieur à y.

On dit que les SFP x et y sont imbriqués ssi x est intérieurs à y ou y est intérieur à x.

On dit que les SFP x et y sont strictement imbriqués ssi x est intérieurs strict à y ou y est intérieur strict à x.