"« liberté [...] qu'on a de faire à son gré des définitions. » Pascal

et c'est bien pratique en spécification de logiciels (voir la méthode B)