Night:
bein dans un cas tu es dans N, ensemble que tu as cosntruit préalablement (la manière n'importe pas), dans l'autre tu as des classes d'équivalence sur des couples de N².
Techniquement tu n'as pas d'inclusion:
dans un cas tu as des nombres n de N, dans l'autre tu prends certains couples (a,b), tu rassembles tous ceux qui sont équivalent à celui ci, tu les "mets" dans un ensemble, que tu appelles par exemple n*.
Dans le premier cas, tu as un élément n de N, dans l'autre tu as un élément n* qui se comporte exactement comme l'élément n, sauf qu'il n'est pas dans le même ensemble, en fait n* est un ensemble construit à partir d'élements (a,b) de N².