for T being non empty TopSpace
for S being non empty SubSpace of T holds Omega S is full SubRelStr of Omega T