consider R being empty RelStr ;
take R ; :: thesis: ( R is non empty connected Poset or R is empty )
thus ( R is non empty connected Poset or R is empty ) ; :: thesis: verum