theorem KeyTheorem: :: ROUGHS_3:13

for R being non empty finite RelStr
for H being Function of (bool the carrier of R),(bool the carrier of R) st H . {} = {} & H is \/-preserving holds
UAp (GeneratedRelStr H) = H