∀ {F : Type u_2} {X : Type u_3} [inst : SemilatticeInf X] [inst_1 : FunLike F X X],
  (∀ (f : F) (a b : X), f (a ⊓ b) = f a ⊓ f b) →
    (∀ (x : X) (f : F), f (f x) ≤ f x) → (∀ (x : X) (f : F), x ≤ f x) → NucleusClass F X