theorem Th23: :: MSUALG_7:23

ex L9 being SubLattice of RealSubLatt ((In (0,REAL)),(In (1,REAL))) st
( L9 is /\-inheriting & not L9 is \/-inheriting )