User:Primal Zed

This user participates in WikiProject Comics.

Editor since July 2008

• Let ${\displaystyle Chars}$ be the set of all characters.

• Let ${\displaystyle X.Items}$ be the set of all items carried by character X.

• Let ${\displaystyle X.BoA}$ be the set of all Bind on Account items carried by character X.

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

These functions either return as true or false.

• Let ${\displaystyle Faction(X,Y)}$ be the function to denote if character X and character Y are on the same faction and same server.

• Let ${\displaystyle Account(X,Y)}$ be the function to denote if character X and character Y are on the same account.

• Let ${\displaystyle Send(q,Y)}$ be the function to denote if item q can be mailed to character Y.

• ${\displaystyle \exists X,Y\in Chars,\forall q\in X.Items}$

${\displaystyle {\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)

• ${\displaystyle \exists X,Y\in Chars,\forall q\in X.BoA}$

${\displaystyle {\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)

• ${\displaystyle X.BoA\subset X.Items}$

(this is a reminder that all BoA items are still an item; all BoA items inherit the rules for regular items)

• ${\displaystyle \therefore \exists X,Y\in Chars,\forall q\in X.BoA}$

${\displaystyle {\bigl (}Send(q,Y)\rightarrow Faction(X,Y){\bigr )}\land {\bigl (}Send(q,Y)\rightarrow Account(X,Y){\bigr )}}$

${\displaystyle \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)