In set-builder notation, the symbol : is read as—

• a"and"
• b"such that"
• c"belongs to"
• d"subset of"