Azimuth Forum
Visit Site
There is indeed an implication operator on partitions.
[David Ellerman](https://arxiv.org/pdf/0902.1950.pdf) defines it as such:
\\[
[[x] \multimap [y]] : = \mathrm{int}([x]^c \cup [y])
\\]
Version 2.1.8p2