Set-builder_notation loading ...