Stone_Kleene_Relation_Algebras.Iterings