This reminds me of Inc-invariant ideals, see [this survey][1] and references therein.


  [1]: https://arxiv.org/pdf/2009.03617.pdf