pick some

多様体論で pick some chart なんて言い方をする。これはイプシロン記号だろう。

• pick some A a は、存在が証明されている、Aであるxをひとつ選択しaとする。
• pick some A a ≡ a := εx∈X.A(x)