for R being Relation holds card R = card (R ~)