(E.4) Assumptions

[mosser]

Properties of the environment that may be assumed, with the goal of facilitating the project and simplifying the system. It defines properties that are not imposed by the environment (like those in <>) but assumed to hold, as an explicit decision meant to facilitate the system's construction.