En BMS, una partició, celebració d'entrada exigit per la lògica del programa i nominat a l'ordre de rebre mapa associat.