横内さんの本にあったからメモ。対象Aが has enough points または is well-pointed とは、任意のf, g:A→A に対して、f ≠ g ⇒ ∃a:1→A.( a;f ≠ a;g)。「任意のf, g:A→A」を「任意のXと、任意のf, g:A→X」にしても同じ。