, complementation Let A be a subset of some universal set E. Then the complement of A is the set difference E\\A and may be denoted A′ or Ac or Ā when the universal set is understood or has been specified. Complementation (the operation of taking the complement) is a unary operation on the power set of E. The following properties hold: