for R being non empty RelStr
for I being Function of the carrier of R,(bool the carrier of R) st I is map-reflexive holds
the carrier of R = union (I .: ([#] R))