K3曲面
K3曲面の特徴づけに使える同値な性質は多数存在する。完備で滑らかな自明な標準バンドルを持つ曲面は、K3曲面と複素トーラス(もしくはアーベル多様体)なので、そこに何かしら後者を除外する条件を付け加えればK3曲面の定義になる。複素数上で曲面が単連結であるという条件が時として使われる。
定義にはいくつかの流儀があり、一部の研究者は射影曲面に限定しており、またデュヴァル特異点 (Du Val singularities)を持つ曲面を認める場合もある。