Modified the definition involving set builder notation