Die Semantik dieses Ausdrucks lautet: Für jede Teilmenge ( ) gilt: wenn die Teilmenge nicht leer ist ( ) und auch ihr Komplement nicht leer ist ( ), dann gibt es zwischen ihr und ihrem Komplement eine Kante ( ).