consider R being non empty strict Poset;
take R ; :: thesis: ( not R is void & not R is empty & R is strict )
( ex x being set st x in the carrier of R & the InternalRel of R is_reflexive_in the carrier of R ) by ORDERS_2:def 4, XBOOLE_0:def 1;
hence not the InternalRel of R is empty by RELAT_2:def 1; :: according to YELLOW_3:def 3 :: thesis: ( not R is empty & R is strict )
thus ( not R is empty & R is strict ) ; :: thesis: verum