theorem Fourteen: :: ROUGHS_4:22

for T being non empty with_equivalence naturally_generated TopRelStr
for A being Subset of T holds Kurat14Set A = {A,(UAp A),((UAp A) `),(A `),((LAp A) `),(LAp A)}