	The properties below include a defined binary operation, relative complement, denoted by infix "\". The "relative complement of "A" in "B"," denoted "B" \"A", is defined as ("A" ∪"B"′)′ and as "A"′ ∩"B".