"dobbeltsats" er et 11-bokstavers substantiv som brukes som synonym for "dobbeltheta". dobbeltheta betyr: En sats som er satt sammen av to deler, ofte i matematikk eller logikk.