Loi (mathématiques)/Post-notions