docs/user/images/set-reduction-not-null.svg

<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="252px" height="286px" viewBox="-0.5 -0.5 252 286" content="&lt;mxfile modified=&quot;2019-01-07T09:18:12.357Z&quot; host=&quot;www.draw.io&quot; agent=&quot;Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/71.0.3578.98 Safari/537.36&quot; etag=&quot;cV-APBZoH-c5DcWMvRdT&quot; version=&quot;10.0.22&quot; type=&quot;device&quot;&gt;&lt;diagram id=&quot;d-bbYuKwT16SnIGLjPJ_&quot; name=&quot;The universal set&quot;&gt;7VhNc5swFPw1HN0xYGznaDtOemhmOnWmTU8dBZ5BrZCoEDHOr+8TCGMZO6FpmnSmOVlaSU+83dWXHX+RlpeSZMmViIA53jAqHf/c8Tx35I3xRyPbGpkMz2ogljQynVpgRe/BgEODFjSC3OqohGCKZjYYCs4hVBZGpBQbu9taMHvWjMTQAVYhYV30C41UUqNTb9Li74HGSTOzOzb5paTpbDLJExKJzR7kLx1/IYVQdSktF8A0eQ0v9biLE627D5PAVZ8B3udv2w+Xy+8XPs9Wn65Ccu8uB+Zj7wgrTMLXCSBQcHoHMic6QA7KZKC2DS0KSpx0nqiUIeBiUUJO78lt1WGI9UxQriryg7kTnCNCCiXyWmA9gDAacywzWOtQOJ2iyPvMwEpkiOYZCSmPr3XlfDBCZC24MjZxkcO5SQBHQ3mSGXfHNxoVRApKbrGLGXBmFDIWdYO6umn1dhs7JntaN8ISY7F4F7hVAQtGiN8QxZ12VOkIEEtRZCdzN6vByNF6sD8nns3JqMuJFxzjJPhrpDzOCUbBbQEr801CFazQO7plgzuT7dVennlAmi5rr8eL14MXHs30Vog1LjjYXGC+cnujF+27oKl+NWsYSqr2mrD21WIQos7m2Ys//DpRyBAel1sRGcODAR/V45gcDSaBEYU7nX1sHJHIzPBRb2rtIpnYi+RQ4zpJM2Z/Zz4I4x7uJHXWnYGVP3ZJPt0y/p9aprHFnin23HOz76y27c0yusfAHdqm8UZPdM0gODi2zl7WRaOOi2bVIAVpJmR1c6ja8h6Xh1xJ8QMWggnZOm5NGTuAmjtDiJYBeeTWkNIoYqdOADwyeQSRce7zHwKl7ZRGl/Gwc3aOXvI6ERwXasy0CLcSS7Eu8SIFScNuQ6PiIf6f6/raso77yYoS4AX6TdVTqu6W57+yXCdHTudaJHwMcUub8c9Cvx6rN9GgflrNsIPvZWVFWdO+03bpOdOpMw2aiPiBddDe2r/CM8/v/cx7Dv2Drvze88iP1fa1X5/C7X8m/vIX&lt;/diagram&gt;&lt;diagram id=&quot;a_tsVYZwpyOO0_yNrkbH&quot; name=&quot;ofType: string&quot;&gt;7VjLcpswFP0alu4YMH4sbcdJF81Mp860ySqjgAxqBaKyiCFf3ysjAQJS23m2M/HG0pF04Z5z9MJyl3F+wVEaXbIAU8sZBrnlnlmOY4+cMfxJpCiRyXBWAiEngepUA2vygBU4VGhGArw1OgrGqCCpCfosSbAvDAxxznZmtw2j5lNTFOIOsPYR7aI/SCCiEp06kxr/jEkY6SfbY5VfjHRnlck2QgHbNSB3ZblLzpgoS3G+xFSSp3lxvt8WXy5WP8/dJF1/u/TRg70alMHOTxlSpcBxIl42tFOGvkc0U3yxzVWRQnkuMxacJKHKXhSaUoFzeI1FJGIKgA1FjrfkAd3tOwyhnjKSiL1w3sLyzgBBmWDb0hxyAKIkTKBM8UaGusdcENBsrmDBUkC3KfLh+VeycjYYAbJhiVAWs4H/hXp7GI3zltwHuLIrAcH5mMVY8ALGqShTJXlhenlXG2imoKjhHW0UpCwbVnFrWaCglDlBJbejUkeTkLMsfZQONbmUQrWln0mTbdI06tLkeH08ea9F1OgwURAFlh6oLHYREXgNHpMtO1j9TE8/3VtuP2nvR4t3BC1JMJerLdQSlmCTCkiXF9dybn/ydPVGTXWcE9FogtqNQSAOOuvzMfTBy7GM+/iw2ALxEP8t3uigHH1qaIxjigS5N3PoU0g94atc+uopMjGnSFviMkk1prl4t8LY7bWlzLozcG+PKsmnO2b8XMdoVzQ80TDPddNYdduHYwAe2EPTM9W6eqppBl5rG5u9rYkmHRPN94MEjlPGEdVt2yNOGHAUYb/wklHGa8NtCKUtSB8sfHAM5j1Hi5gEAX1s+YdNNAlwoIwrTxs6vOW4y/3vNXaG3DSQlmvc3U9Hb3nsmPbrN6ZSmzsOpVCWkizGnPjdBi1uG/+Qu0/u91Z7dpza+k7wn4v9WqJWk/ZfmcT6jG5s5aVIcL9KDG3GvzN5md3PhEF5W5PXQNdJ8z1lur3SduVY06k19XREeMMy6NHav8PN0X3ezfE0/b2eO9HLyA/V+ttDuWXXX3Dc1R8=&lt;/diagram&gt;&lt;diagram id=&quot;-r0b2W-3elPjkDocB9Kf&quot; name=&quot;is null&quot;&gt;7VhNc5swFPw1HN0BYWzn6NhOemhmOnWnTU4dBWRQKxCVRWzn1/eBJECGxHbSfBzii3kr6Ym3u0IIx5+l20uB8+SKR4Q5yI22jj93EPKGaAR/JbJTyNg9U0AsaKQ7NcCS3hMNuhotaETWVkfJOZM0t8GQZxkJpYVhIfjG7rbizJ41xzHpAMsQsy76k0YyUegEjRv8M6FxYmb2Rrq+FJvOupJ1giO+aUH+wvFngnOprtLtjLCSPMML+vFr9+Vy8fvCz/Llt6sQ33uLgUp2ccqQugRBMvl/UyOV+g6zQvOla5U7Q2AseJHrbkRIsu2TDd+a7u6RN+vVDIL1CE+JFDsYp7MHKov23HCowk0jIAr0RElLvBrE2jRxnbghBi40Nyfw5B/mCbKApyE43yRUkmWOw7JlA8sKsESmMOHcg8sHuTzIGern7O1oGR5BSxZNy2UMUcYzYlMB5YrdNQTup8CEN2VYBlsqW00Q3VgEkqiz8I+hD26OFyIkh8WWWMTksXz+QTn61DCYIAxLemfX0KeQnuErp1BdvULGrrVE9iVWReox7afCXhoP7Q1UVXcGVvaoi3y6Y4LnOsa4ouWJlnmu28Zq2j4cA/DAc23PoOETTTMI7ETe2euaaNQx0bQaJEmac4GZaVt3vAWPXGkbai0F/0NmnHHRGG5FGduDMKNxBmEIjiGAn5cPcArvGVPdkNIoYg89/mEPzSISaeOueCZNegf5s+r3EjvD1jaQkWvkdvbTYd++8VLbxrhfvxErtbkVcBWXV1mREkHDboMRdx//kLtP7rdWe3Kc2qAMzeIPsU8Uu17M72Vxn/Xs8Eq7dY4zS7LR36I8PFWcDdbV0XEKHXyUbyvGTHst+QI5k4kzCUxGuEGV9GhLCALz6NNKKVde7lEVBcG5E8xLMxSSq3upBhhvMLKSPc6QPFeVhWDe72Uwh7diVZI+DPvoFeUPuuqj11TfHPtb8lNYvG5WlGPfozwe6q5at/o9S7bHz7eea59wva5svSe502WDsPlEoV7Amg89/uIf&lt;/diagram&gt;&lt;diagram id=&quot;6I9QQVb4RTgdvWAFbB4v&quot; name=&quot;not(is null)&quot;&gt;7VjLcpswFP0aZtqFOyCM7Sz9SrpoZjp1p01WGQVkrFZIVBYxztf3giQMhsZO6jwW8cbcI+nCPedIQjj+NMkvJE5XlyIizEFulDv+zEHI66MB/BXIViND90wDsaSR6bQDFvSeGNA1aEYjsm50VEIwRdMmGArOSagaGJZSbJrdloI175rimLSARYhZG/1JI7XS6AgNd/hnQuOVvbM3MPUl2HY2laxXOBKbGuTPHX8qhVD6KsmnhBXkWV7Qj5vtl4v5r3Ofp4tvlyG+9+Y9nez8MUOqEiTh6rSpkU59h1lm+DK1qq0lMJYiSx1/shRcTQUTsoT9afkD3GQgUpG8S1F8azO5R9bhVeSCK4lIiJJbGJc3jWX82O/rcLMTFwWmy6ombAViY6i4yrwjDS4Mb4/g0D/MIWQBv0Mw2ayoIosUh0XLBqYcYCuVwA1n3kNkHiQNdZP2erT0j6CFR+NiikPEBSdNKqBcub2CwP0U2PC6CIsgp6rWBNF1g0AStRaFY+iDhxOZDMlhsRWWMXkon39Qji41LCYJw4reNWvoUsjc4augUF01RYbNKbIvsS7SjKmvGHtpPLQ3UFfdGljaoyry6Y4J/tcx1hU1T9TMc1U31q7t3TEA9zy36RnUf6JpekEzkXf2siYatEw0LgcpkqRCYmbb1i1vwZKrmoZaKyl+E7vpGcMtKWN7EGY05hCG4BgC+KRYwCm8g4xNQ0KjiP1r+Yf9lUckMsbd22bd8vccO0PeNJCVa+C29tN+177xXNvGsFu/ASu0uZVwFRdXPEuIpGG7wYq7j7/L3SX3a6s9Ok5tUIby+F3sR4pdTea3MrnPOnZ4rd06xbwh2eBPVhysSs566/JYOYYOPkrzkjHbXkk+R85o5IwCmxEeUCc92hKSwH3McaWQJS32qJKCYOIEs8IMmRL6WcoB1huMLFWHM5RIdWUhmPd7EczgrViXZA7KPnrKyerEtgjarkAv6Qp7oqvZggv1gcLEdnnG2Me3qZ3Xod0JpvSB0+/e8ddrazc8jXYQ7r5t6Lez3Rcif/4X&lt;/diagram&gt;&lt;diagram id=&quot;Bycv1oX1b48BVl1upJsK&quot; name=&quot;inSet [a, b, c]&quot;&gt;zVdNc9sgEP01OqYjgWU7R38lPTQznbrTNqcOkbBEi0HFOJbz67sIZBlJjZ1O3NQXaR+waN++XXCAZ+vyVpEiv5Mp5QEK0zLA8wChaICG8DDI3iKj8NoCmWKpm9QAS/ZEHRg6dMtSuvEmaim5ZoUPJlIImmgPI0rJnT9tJbm/a0Ey2gGWCeFd9CtLdW7RMRo1+HvKsrzeORq6+Naknuwi2eQklbsjCC8CPFNSavu2LmeUG/JqXtCX7/sPt4sfN1gUy093CXmKFlfW2c1LlhxCUFTo13WNrOtHwreOLxer3tcEZkpuiwBPV1LomeRSVTCeVT/AnQeqNC37Mkoeak/hmXFEB3JBlVSuqVZ7WFf6wnJ6HGBr7prkothNyY8SewCJE1R28NyQBi+OtxdwiE9zCF5A72BMdznTdFmQxIzsoOQAy/UaNpxHz5F5kjTUT9rb0TI4gxaRTkyJgyWkoD4VEK7afwMjfBfX5r0xjVEyfTQE1r1HIE07TeEc+uDj5FYl9HSyNVEZfc4fPpmOvmzUmKKcaPbox9CXIbfDR8kgukOJjPwSaafYBunWHHeMlpsItRbaqDsLK3kcgvx7xcQdxZAAgavwwT6SjoCgSrSvmo1W8iet+5RT1Ypx3oIIZ5kAMwFZUMCnpuYYHBsTN7Bmacr/VLHQEkVKU6fGVmcMq98lirn087mvj6y40wIHfaV+qUof9lT6kJvEbAoivIwNf23NcVlRdrWpLgsTmIBRUVaE1ePwllXPBQrG42Ac1x7hA61TN35aEYrCPu4QMlkpjHwrCuJpEM+NFrZa2m+pFtTS4HSle4ShZWEjS5jIPhtjDr3OhuSuPxi9gSqiYUsWYVcW6F/KYtSRBRNLavoLMN+u7Hj+f6YyukwqT1xxWnecngK/fp1MgtlcYG0fb/4G4MVv&lt;/diagram&gt;&lt;/mxfile&gt;" style="background-color: rgb(255, 255, 255);"><defs/><ellipse cx="125" cy="159" rx="125" ry="125" fill="#ffffff" stroke="#000000" pointer-events="none"/><path d="M 125 284 L 125 34" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><path d="M 0 159 L 250 159" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="none"/><g transform="translate(45.5,183.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="48" height="40" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 48px; white-space: normal; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">All datetime values</div></div></foreignObject><text x="24" y="26" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">All datetime values</text></switch></g><g transform="translate(48.5,83.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="42" height="40" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 44px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">All<br />numeric<br />values<br /></div></div></foreignObject><text x="21" y="26" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">[Not supported by viewer]</text></switch></g><g transform="translate(162.5,183.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="34" height="40" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; width: 36px; white-space: nowrap; overflow-wrap: normal; text-align: center;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">All<br />string<br />values<br /></div></div></foreignObject><text x="17" y="26" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">[Not supported by viewer]</text></switch></g><g transform="translate(161.5,86.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="20" height="36" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 32px; font-family: Helvetica; color: rgb(204, 204, 204); line-height: 1.2; vertical-align: top; white-space: nowrap;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;"><span style="font-size: 32px">∅</span></div></div></foreignObject><text x="10" y="34" fill="#CCCCCC" text-anchor="middle" font-size="32px" font-family="Helvetica">[Not supported by viewer]</text></switch></g><g transform="translate(101.5,2.5)"><switch><foreignObject style="overflow:visible;" pointer-events="all" width="55" height="12" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><div xmlns="http://www.w3.org/1999/xhtml" style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; vertical-align: top; white-space: nowrap;"><div xmlns="http://www.w3.org/1999/xhtml" style="display:inline-block;text-align:inherit;text-decoration:inherit;">not(is null)</div></div></foreignObject><text x="28" y="12" fill="#000000" text-anchor="middle" font-size="12px" font-family="Helvetica">not(is null)</text></switch></g></svg>