(1)B中任何一个元素在A中必有原象;(2)A中不同元素在B中的象也不同;(3)A中任何一个元素在B中的象是唯一的;(4)A中任何一个元素在B中可以有不同的象;(5)B中某一元素在A中的原象可能不止一个;(6)集合A与B一定是数集;(7)符号f:A→B与f:B→A的含义是一样的.

在用程序框图表示算法时，图型符号都表示特定的含义，下面各图形框中表示判断的是

1. A.
   
2. B.
   
3. C.
   
4. D.