The term notp1 finds complements of characteristic functions.

Definition of notp1

Basic defining clauses

Two simple properties

Algebra of notp1 and isp1 under composition

up show outline