https://i.imgur.com/JDblZ8G.jpg11 range是值域 image映射A的子集合到值域 会是值域的子集合e的问题就像你说的 b的preimage可能不只含a13 的问题你的说法没错 但因为如此定义的话 0 = 0k, 对于所有k都成立也就是0/0 = k, 对于所有k都成立 代表0/0可以表示任何的有理数也就是存在这样的元素的有理数域只会有一个元素 就是0/0只有一个元素的数域不是代数上会想要关心的集合所以通常都会直接定义 a | 0 forall a 不为 018 应该正确 不过应该是2*T(n/5) ??我觉得不能选