Similar to 可算加法的集合環

Stable curve

Stable marriage problem