for R being Relation holds {} |` R = {} ;