Informasi yang berkaitan dengan de/Gabbays Separationtheorem