{"action":"created","issue":{"url":"https://api.github.com/repos/sympy/sympy/issues/9543","labels_url":"https://api.github.com/repos/sympy/sympy/issues/9543/labels{/name}","comments_url":"https://api.github.com/repos/sympy/sympy/issues/9543/comments","events_url":"https://api.github.com/repos/sympy/sympy/issues/9543/events","html_url":"https://github.com/sympy/sympy/issues/9543","id":89295888,"number":9543,"title":"ImageSet.is_subset(S.Reals) returns False","user":{"login":"aktech","id":5647941,"avatar_url":"https://avatars.githubusercontent.com/u/5647941?v=3","gravatar_id":"","url":"https://api.github.com/users/aktech","html_url":"https://github.com/aktech","followers_url":"https://api.github.com/users/aktech/followers","following_url":"https://api.github.com/users/aktech/following{/other_user}","gists_url":"https://api.github.com/users/aktech/gists{/gist_id}","starred_url":"https://api.github.com/users/aktech/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/aktech/subscriptions","organizations_url":"https://api.github.com/users/aktech/orgs","repos_url":"https://api.github.com/users/aktech/repos","events_url":"https://api.github.com/users/aktech/events{/privacy}","received_events_url":"https://api.github.com/users/aktech/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/sympy/sympy/labels/sets","name":"sets","color":"0000FF"}],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-06-18T13:36:28Z","updated_at":"2015-07-02T16:25:02Z","closed_at":null,"body":"```python\r\nIn [54]: x = Symbol('x', real=True)\r\n\r\nIn [55]: N = S.Naturals\r\n\r\nIn [56]: squares = ImageSet(Lambda(x, x**2), N) # {x**2 for x in N}\r\n\r\nIn [58]: squares.is_subset(S.Reals)\r\nOut[58]: False\r\n```"},"comment":{"url":"https://api.github.com/repos/sympy/sympy/issues/comments/118084397","html_url":"https://github.com/sympy/sympy/issues/9543#issuecomment-118084397","issue_url":"https://api.github.com/repos/sympy/sympy/issues/9543","id":118084397,"user":{"login":"shivamT95","id":12464399,"avatar_url":"https://avatars.githubusercontent.com/u/12464399?v=3","gravatar_id":"","url":"https://api.github.com/users/shivamT95","html_url":"https://github.com/shivamT95","followers_url":"https://api.github.com/users/shivamT95/followers","following_url":"https://api.github.com/users/shivamT95/following{/other_user}","gists_url":"https://api.github.com/users/shivamT95/gists{/gist_id}","starred_url":"https://api.github.com/users/shivamT95/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/shivamT95/subscriptions","organizations_url":"https://api.github.com/users/shivamT95/orgs","repos_url":"https://api.github.com/users/shivamT95/repos","events_url":"https://api.github.com/users/shivamT95/events{/privacy}","received_events_url":"https://api.github.com/users/shivamT95/received_events","type":"User","site_admin":false},"created_at":"2015-07-02T16:25:02Z","updated_at":"2015-07-02T16:25:02Z","body":"set of all Natural Numbers is {x for x in N} . I tried \r\nIn [33]: S.Reals.intersect(squares)\r\nOut[33]: \r\n⎧ 2                            ⎫\r\n⎨x  | x ∊ {1, 2, …, ∞}⎬\r\n⎩                               ⎭\r\n\r\nIn [34]: squares\r\nOut[34]: \r\n⎧ 2            ⎫   \r\n⎨x  | x ∊ ℕ⎬\r\n⎩               ⎭\r\n\r\nIn [30]: squares == S.Reals.intersect(squares)\r\nOut[30]: False\r\n"}}