theorem Th21: :: MSUALG_7:21

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