“∈-loops”
a∈b∈c∈...∈a

つまりa.…∈a だから、属性方程式a∈aを解きたい!

だから圏同値の商で、基礎の公理を回避するコンセプトをオリジナルであみだした、ということでは。