A subframe is a subset of a frame closed under arbitrary ambient joins and finite ambient meets, including and . The inclusion is a frame homomorphism. In contrast, the fixed elements of a nucleus on a frame usually need their own regularized joins and are not a subframe.
New to topics? Read the docs here!