 reserve f,g for Function;
 reserve R for non empty reflexive RelStr;
 reserve R for non empty RelStr;

theorem :: Proposition 1.1 a)
  for f being map of R,
      x,y being Subset of R holds
    Flip (Flip f) = f by ROUGHS_2:23;
