ヨンシン女子実業高校を経て、慶煕大学校新聞放送学科を卒業。大学時代は演劇サークルに所属し、コンビニやファストフード店など多数のアルバイトを経験した。2014年、「THE BODY SHOP」のTVCMで芸能界デビューした後、数多くのCMに出演。2016年公開のパク・チャヌク監督作品『お嬢さん』で、1,500人の中からオーディションを経て主人公の一人 ナム・スッキ（珠子）役に抜擢され、長編映画デビュー。第37回青龍映画賞や第11回アジア・フィルム・アワードをはじめ、国内外の映画祭で多数の新人賞を獲得した（受賞歴参照）。作品自体も第69回カンヌ国際映画祭コンペティション部門にノミネートされ、第71回英国アカデミー賞最優秀外国語作品賞を受賞するなど国際的に高い評価を得た。2017年には初単独主演作『ムニョン』、翌2018年には『リトル・フォレスト 春夏秋冬』と立て続けに主演映画が公開。また、観客動員数720万人超えを記録した2017年公開の映画『1987、ある闘いの真実』にヨニ役で出演。2018年に放送されたテレビドラマ『ミスター・サンシャイン』（tvN）では、連続ドラマ初出演にしてイ・ビョンホンと共に主演を務めた。2020年公開予定の映画『勝利号』で主演を務めることが決定している。
開業前の仮駅名は地元の地名より「蛎殻町」となっていた。しかし、駅の一部が隣の日本橋箱崎町にかかっており、同地にある東京シティエアターミナルに直結していること等から、地元住民から「箱崎」を主張する声が出て正式決定に時間を要した。結局、駅近くにある水天宮に因んだ現在の駅名が付けられることとなった。この名称は都電の電停名でも使用されていた。なお、当駅開業前に当時営団地下鉄の各駅に設置された大型路線図には「箱崎」の駅名が記されていた（その上にテープでマスクされていて実際には剥がれてない限り見れない）が、当駅開業後に「水天宮前」のテープを貼付し対応した（現在はすべて新型に更新されている）。
2018年9月13日からスイッチ制作の発車メロディを使用している。曲は1番線が「川の辺」、2番線が「糸竹の道」（いずれも福嶋尚哉作曲）である。
島式ホーム1面2線を有する地下駅で、ホームは地下3階に立地する。開業から押上駅へ延伸するまでは終着駅であり、渋谷側にある両渡り分岐器を使用して折り返し運転が行われた。押上駅までの延伸後も非常用として設置されている。ホームの側壁には、田原町駅と同様に紋章が施されている。かつては定期券売り場が設置されていたが、押上駅延伸を機に錦糸町駅に移転し、閉鎖された。
名称の由来は諸説あるが、和泉山脈の中で特に目立つ鍋蓋の様な山容を呈している。この鍋谷峠を経由する国道480号は、れっきとした国道であり、自動車用道路として整備されているが、道幅が狭い。主に林業の仕事道（周辺は人工林になっているので）やバイクのツーリングや車で登山する人などが通る。サイクリングとして通行する人もいるが、峠の傾斜が大変急であるため、初心者には不向きだと思われる。自転車ヒルクライムの練習コースとして知られ、自転車プロレーシングチームのシマノレーシングの練習コースのひとつ。また、途中で分岐（和歌山県側から見れば合流）する近畿自然歩道を利用するハイカーが多い。 また、冬には積雪も記録されている。峠から東へ分岐している林道は三国山や灯明岳、蔵王峠へ通じている。また、近畿自然歩道を西へ進むと、和泉葛城山へ行くこともできる。なお、三国山の山頂付近には、「国土交通省 大阪航空局 三国山航空路監視レーダー」があるが、このレーダーは、和泉市内の住宅地からもはっきりと見える。
鍋谷峠（なべたにとうげ）とは、和歌山県伊都郡かつらぎ町大字平と大阪府和泉市父鬼町の境にある峠。標高は670m。国道480号が通過する。和歌山県と大阪府の間にある和泉山脈にある代表的な峠には西から順に大川峠、猿坂峠、孝子峠、雄ノ山峠、風吹峠、鍋谷峠、七越峠、蔵王峠、紀見峠があり、東へ行くほど標高が高くなるが、蔵王峠あたりで標高の上昇は落ち着いてきて、紀見峠以東は金剛山地に合流する。
当初、測度論は線分、平面図形、立体などの長さ、面積、体積などの精密な解析のために考え出されたものである (Lubesgue 1902)。特に 実数全体の集合 R の部分集合について、その部分集合の長さとは何か、という問いに対して整然とした解答を与えるものであった。集合論の発展によって、自然な加法性を持ち、平行移動不変になるように、実数体 R のすべての部分集合に長さを定義することが不可能であることがわかった。このことにより、可測集合と呼ばれる種類の部分集合にのみ長さを定義する必要が生まれた。測度が満たすべき適当な条件については測度論を参照されたい。現代では測度と積分は公理的に定義される。測度というのは、集合 X の適当な条件を満たす部分集合の族 Σ 上で定義された適当な条件を満たす関数 μ であれば何でもよく、X がユークリッド空間であったり、Σ の元が面積を計算したい図形であったりする必要はないし、μ の値が面積とかけ離れたものでもよい。そこで、ユークリッド空間の図形の面積を与える測度は特別にルベーグ測度という名前がついている。リーマン積分では長方形 [a, b] × [c, d] の面積が (b − a)(d − c) で計算できることを基礎としている。リーマン積分は積分を近似するための「簡単に計算できる積分」として、長方形を並べたものを使っており、測度に関するより深い議論を必要としなかったのである。