Lemma 5: The type operations addition or multiplication performed on a set of non-life with numbers in life have not always result in an ordered list of numbers or not Not used in life.
Ex: (Non-life of a * (b + Non-life Life Non c)) * Non-life of d = enum (not a life, not life b, c non-life, not life d)
There is a simple reason for that: transactions are not possible in non-life!
0 comments:
Post a Comment