Half-space separation in monophonic convexity | Synapse