[isabelle] Sets



Hi!

  Let A be a set (A :: 'a set), then is there a 
set (B :: 'b set) which is isomorphic to A? Here,
isomorphic means only having one-to-one
onto map from A to B.
  If yes, is it possible to show the existence of
the isomorphism?

Thank you.

Kobayashi, Hidetsune

--------------------------------------
TSUKAME EIKOU! KAGAYAKE EGAO!
Yahoo! JAPAN JPC OFFICIAL PARTNER INTERNET PORTAL SITE
http://pr.mail.yahoo.co.jp/wintergames/





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.