for p, q being finite set st p c< q holds
card p < card q