A nucleus is an inflationary, idempotent, finite-meet-preserving map on a frame. Its fixed elements form a frame, whose joins are obtained by applying to ambient joins. The induced locale is a sublocale. The nuclei on a frame themselves form a frame in pointwise order; their meets are pointwise, but their joins usually are not.
New to topics? Read the docs here!