Motivated by ideas from the study of abstract data types, we show how to interpret non-well-founded sets as tixed points of continuous transformations of an initial continuous algebra. We conisder a preordered structure closely related to the set HF of well-founded, hereditarily finite sets. By taking its ideal completion, we obtain an initial continuous algebra in which we are able to solve al...