User:Primal Zed

Editor since July 2008

Set Definitions

 * Let $$Chars$$ be the set of all characters.


 * Let $$X.Items$$ be the set of all items carried by character X.


 * Let $$X.BoA$$ be the set of all Bind on Account items carried by character X.

It should be noted that $$X.BoA \subset X.Items$$

Function Definitions
These functions either return as true or false.


 * Let $$Faction(X,Y)$$ be the function to denote if character X and character Y are on the same faction and same server.


 * Let $$Account(X,Y)$$ be the function to denote if character X and character Y are on the same account.


 * Let $$Send(q,Y)$$ be the function to denote if item q can be mailed to character Y.

Statements

 * $$\exists X,Y \isin Chars, \forall q \isin X.Items$$
 * $$\bigl( Send(q,Y) \rightarrow Faction(X,Y) \bigr)$$

(this means that for any item q carried by character X, in order to send item q to character Y, characters X and Y have to be on the same faction and same server)


 * $$\exists X,Y \isin Chars, \forall q \isin X.BoA$$
 * $$\bigl( Send(q,Y) \rightarrow Acount(X,Y) \bigr)$$

(this means that for any item q carried by character X, in order to send item q to character Y, characters X and Y have to be on the same account)

(this is a reminder that all BoA items are still an item; all BoA items inherit the rules for regular items)
 * $$X.BoA \subset X.Items$$


 * $$\therefore \exists X,Y \isin Chars, \forall q \isin X.BoA$$
 * $$\bigl( Send(q,Y) \rightarrow Faction(X,Y) \bigr) \land \bigl( Send(q,Y) \rightarrow Account(X,Y) \bigr)$$
 * $$\equiv \bigl( Send(q,Y) \rightarrow Faction(X,Y) \land Account(X,Y) \bigr)$$

(this means that any BoA item q, in order to send item q to character Y, both the Faction and Account conditions have to be met)