theorem :: TRIANG_1:1

for A being set holds {} |_2 A = {} ;