Nucleus (order theory)

In mathematics, and especially in order theory, a nucleus is a function F on a meet-semilattice A such that (for every p in A ):

Contents

• Frames and locales
• Songs
• References

1. p ≤ F ( p )
2. F ( F ( p ) ) = F ( p )
3. F ( p ∧ q ) = F ( p ) ∧ F ( q )

Every nucleus is evidently a monotone function.