A non-graphical representation of conditional independence via the neighbourhood lattice