On some inclusion in the set theory

This note contains the proof of an inclusion in the set theory. In that proof we use only basic laws appearing in the set theory. More precisely, using some basic laws of the set theory we provide the proof of an inclusion which is applied in the proof of certain theorem of the classical measure theory. The presented paper has an elementary character. Only the basic tools of the set theory are involved.