Let us consider the conditions under which Oedipus arrives: an aggregate of departuretransfinite, constituted by all the objects, agents, and relations of sociodesiring production is reduced to a finite familial aggregate as an aggregate of arrival (a minimum of three terms, which one can and even must augment, but not to infinity).