Your characterization of R may "beg the question": the characterization of an equivalence relation:aRb≡⟨∀x::aRx≡bRx⟩.
確定! 回上一頁