We define, in a dynamic framework, the notions ofbinding functions, images, reflecting sets, indirectidentification, indirect information, andencompassing. We study the properties of the notionof encompassing when the true distribution does notnecessarily belong to one of the two competingmodels of interest. In this context we proposevarious test procedures of the encompassinghypothesis. Some of these procedures are based onsimulations, and some of them are linked with thenotion of indirect estimation (in particular, theGET and simulated GET procedures). As a by-product,we get an asymptotic theory of the tests ofnon-nested hypotheses in the stationary dynamiccase.