Binary intersection formalized

Open in new window