https://123deta.com/document/q05n236g-let-λ-denote-set-sequences-form-λm-λm.html