tümleyen

• bir küme işlemidir. e, evrensel küme olmak üzere; a^t^* = { x | x €/ a ve x € e } olarak tanımlanır.
  
  ayrıca; (a n b)^t = a^t u b^t ve (a u b)^t = a^t n b^t olduğu gösterilebilir.