the intersection of all closed sets containing {"y"}), we say that "x" is a specialization of "y" and that "y" is a generization of "x"; this is commonly written using a wavy arrow (such as the one given by the command "\leadsto" in the "amssymb" LaTeX package) leading from "y" to "x".