discrete 2-point space