for R being non empty reflexive RelStr holds LAp R cc= id (bool the carrier of R)