「概念を理解する」のと「論理記号で表現できる」は違うんだよな。
全射や単射は、図は描けても記号で書けない奴は山ほどいる。
それどころかR上の関数f,gについてf≠gの定義を書けと言われても
「∃x∈R, s.t. f(x)≠g(x)」と書けない。