Yosida frames

A Yosida frame is an algebraic frame in which every compact element is a meet of maximal elements. Yosida frames are used to abstractly characterize the frame of zz-ideals of a ring of continuous functions C(X)C(X), when X   is a compact Hausdorff space. An algebraic frame in which the meet of any two compact elements is compact is Yosida precisely when it is “finitely subfit”; that is, if and only if for each pair of compact elements a