for A, B being Ordinal st A in B holds
A = (RelIncl B) -Seg A