Noms des mathématiques
- La famille des fondations : Lazi
- Un groupe de mathématiques ou une mathématique : Lazi.n1.n2. ... . nk où si a<b alors Lazi.n1.n2. ... .nb est inclu dans Lazi.n1.n2. ... .na . ni ne peut comporter que des caractères alphabétiques visibles plus le tiret et le souligné ("-" et "_").
- La mathématique la plus avancée d'un groupe : le même nom que le groupe