for R being Relation holds
( {} * R = {} & R * {} = {} )