A construction of equivalence subrelations for intermediate subalgebras - Aoi, Hisashi.