for a, b being object st a <> b holds
{a} c< {a,b} by ZFMISC_1:7, ZFMISC_1:20;