The classical bijection between \(P̏(X)\)  and \(2^X\)  is translated constructively as the existence of
“bijective”, proper class-assignment routines between the proper classes \(P̏^{\rrbracket \llbracket }(X) \)  and
\(\mathfrak {F}^{\mathrm {se}}(X, )\) . The proof of the following fact is found in [1]}, and it is the only place in
this paper that we refer to assignment routines defined on proper classes.

Классическое взаимно-однозначное соответствие между \(P̏(X)\) и \(2^X\) переводится конструктивно как существование 

"взаимно-однозначных" процедур размещения между proper-классами \(P̏^{\rrbracket \llbracket }(X)\) и 

\(\mathfrak {F}^{\mathrm {se}}(X, )\). Доказательство следующего факта содержится в [1], и это единственное место в 

этой статье, где мы ссылаемся на процедуры размещения, определенные на proper-классах.