for X being set
for R being Relation st id X c= R \/ (R ~) holds
( id X c= R & id X c= R ~ )