環付き空間の発展系