Lazi

chemin mathématique (absolu ou relatif)

Contexte

La notion de chemin mathématique a un intérêt par exemple pour exprimer un contexte mathématique.

Définitions

Un chemin mathématique est une liste finie de mathématiques sauf le premier élément qui peut être une pré-mathématique. Par exemple $L[ H , lazi_0_2 , lazi_1_0 ]. Chaque mathématique suivante doit être définie dans la précédente.

Un chemin mathématique est absolu ssi il commence par une mathématique minimale éventuellement précédé d'une pré-mathématique.

Un chemin mathématique est relatif ssi il n'est pas absolu.