# Example:Tricky set comprehension membership

($1)$2 | $3 ($4) | $5 ($6)

Note that set comprehension notation can sometimes be tricky. Just because , doesn't necessarily mean satisfies .

For example, we know that , because , but that doesn't mean that .