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