Before revision:  It may be satisfied, for instance, when it is the result of either a search process or unobserved feasibility.
After revision:  It may be satisfied, for instance, when the choice set variation is the result of either a search process or unobserved feasibility.