https://123dok.net/document/zx56g9vn-propri-intersection-propri-esducompl-ementaire-inclusion-expliciter-ensemblesetparties.html