for R being non empty finite positive_alliance RelStr
for x being Element of R holds ((UAp R) . {x}) ` c= (UAp R) . (((UAp R) . {x}) `)