for R being non empty RelStr
for f being map of R holds
( f . {} = {} iff (Flip f) . the carrier of R = the carrier of R )