plus
operator fun plus(other: FreeDistributiveLatticeCongruence<A>): FreeDistributiveLatticeCongruence<A>
Return a new congruence that has the congruence relation of this and other.
Return a new congruence that has the congruence relation of this and other.