for R being RelStr st R is empty holds
R is Dickson