is there a technical (programming) or even mathematical term for something indicating that if it is present - it is - but if not present, - may or may not be - ? for example, if my class implements

IAwesome

it means that it contains an

Awesome

object val that can be retrieved but that if it doesn't implement

IAwesome

, it means nothing - the class may or may not contain an

Awesome

object

something like schrödingers cat 🙂 if you look at it you know if it is present or not but otherwise, who knows 😄

Sounds like an "export" in the C world. 🤷🏼

How do you treat "may or may not be" afterwards?

`private`/`internal` I guess. 🤷🏼 . I think the technical term only exists within certain scopes but not in general.

In logic it's _implication_: A being true means that B is also true, but A being false doesn't tell anything about B.