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

theorem FlipLAp:
  Flip f_0 R = LAp R
  proof
    f_0 R = UAp R by UApF0;
    hence thesis by ROUGHS_2:27;
  end;
