[1] [DFN[exists]] ([DFN[map exists]])
は、
[[写像]]に対する演算の1つです。