その定式化には革新的な発想であるの概念が必要であり、その構成は環の局所化を一般化したに基づく。