2
$\begingroup$

I have a set $S(k)$ well defined only if $k>0$, and another set $X$ well defined only if a condition $cond$ is satisfied.

I want to define $S(k)$ as the union of $S(k-1)$ and $X$ provided that both are well defined. How can I express this ?

If I write $S(k) = S(k-1) \cup X$, this is not correct if $k=1$ or $cond$ is false.

Thank you.

1 Answers 1

1

I think

$S(k) = S(k-1) \cup X$ provided $S(k-1)$ and $X$ are well defined

is perfectly clear, but if you really want notation then how about

$ S(k) = \begin{cases} S(k-1) \cup X & \text{if } k>0 \text{ and } cond = \text{true} \\ S(0) & \text{if } k = 0 \\ \emptyset & \text{otherwise,} \end{cases} $

or whatever other "otherwise" result you want.

  • 0
    @user3749 I doubt you're going to get much better than that, considering (if else) is a crucial part of your definition of $S(k)$. The "cases" notation above is very common.2012-05-02