任意のスキーム"x"に対してエタール射"u":"a"→"x"全体からなる圏を"et(x)"であらわす。