let R be non empty RelStr ; :: thesis: (UAp R) . {} = {}
(UAp R) . {} = UAp ({} R) by ROUGHS_2:def 11
.= {} ;
hence (UAp R) . {} = {} ; :: thesis: verum