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".