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