E A-doğru-uzaysısının bir M altdoğru-uzaysısı için, E/M bölüm kümesi üzerinde oluşturulan A-doğru-uzaysı.