When working with infinite sets, it is easy to make one item disappear. For example, the set
is congruent to
by translation by one unit. Sierpiński asked if a set
can contain two distinct points
is congruent to the set obtained by deleting either
. E. G. Straus proved that such a set cannot exist in the Euclidean line or plane. But in the hyperbolic plane, one can construct such a set and visualize it.
This Demonstration illustrates such a "weak Sierpiński set" by using tiles instead of single points. The term weak
is used because the full definition would have
being congruent to each set obtained by deleting a finite subset.
The idea is to first work in the group of hyperbolic isometries generated by
(these formulas are for the upper-half plane model of
). The two isometries generate a free group and it is easy to construct a weak Sierpiński set in the context of this group: just let
be all of the words ending in
There is a tiling of the hyperbolic plane into squares based on this free group (see diagram). So one can easily lift the Sierpiński set from the group to the disk model of
by matching up group elements to the square to which they correspond.
The first snapshot shows the initial configuration: the red tiles. The last snapshot shows the final configuration in the two cases: at left, the upper large red square has disappeared and is shown in light pink; at the right it is the lower large square that has disappeared.
Much more is true. In the free group, and therefore in the hyperbolic plane, one can find, in a constructive manner, a set that is unchanged after the deletion of any finite subset [3; 2, theorem 6.1.6]. And in Euclidean 3-space, making use of the axiom of choice, Jan Mycielski  proved in 1958 that there is a set that is invariant under the addition or deletion of any countable set of points.
 J. Mycielski, "About Sets Invariant with Respect to Denumerable Changes," Fundamenta Mathematicae, 45
, 1958 pp. 296–305.
 S. Wagon, The Banach-Tarski Paradox
, New York: Cambridge University Press, 1985.
 E. G. Straus, "On a Problem of W. Sierpiński on the Congruence of Sets," Fundamenta Mathematicae, 44
, 1957 pp. 75–81.