pridany kartezsky sucin, komplement a tuple identifikator