A1.自反律（Reflexivity）：若 Y⊆X⊆U，则 X →Y 成立。