A Magic Set is a set M of reals with the property that for all nowhere constant, continuous functions f and g on the reals it holds that f[M]⊆g[M] implies f=g.
I will cover some of the basic results on magic sets and introduce magic forcing — a forcing notion that adds a new magic set to the ground model.