for R being non empty finite negative_alliance RelStr
for X being Subset of R holds (LAp X) ` c= LAp ((LAp X) `)