函式元

函式元是一個有序對 其中 是一個圓盤 並且 是一個定義在 上的解析函式。如果 是一個開集，那麼 W 中的一個函式元是一個對 使得 。