女性，25岁。3个月来感四肢乏力，晨轻暮重，今午后明显加重，口齿含糊，吞咽困难而入院，否认肢体酸痛，两便正常，有甲状腺功能亢进病史。

最有助于诊断的治疗试验是（）

A.补钾

B.大剂量皮质激素

C.新斯的明

D.甲巯咪唑（他巴唑）

E.大剂量丙种球蛋白

假设在关系模式R（U）中，X、Y、Z都是U的子集，且Z=U-X-Y。若X→→Y，而Z=，则称X→→Y为【 】。