@kururu_goedel: @y_bonten 多分、終域を指定せずに、「fは順序対の集合で、<a, b>、<a, c>∈fならばb=cが成り立つ」だけから値域が集合であることをいいたかったのではないかと。2012-05-18 14:01:35 via TweetDeck to @y_bonten @kururu_goedel: 片方の赤ちゃんのオムツ</a,></a,>…