HELLO. THE EQUALITY SIGN ("=") DENOTES EQUIVALENT

>>9087299
You could've so easily looked this up that at this point I'm not going to feed you the answer

File: A U R Y O N F.png (245KB, 250x250px) Image search: [Google]

245KB, 250x250px

>>9087307

I COULD HAVE SEARCHED FOR IT HOW?

IF YOU WILL NOT CONTRIBUTE, NOR HELP, ABSTAIN FROM POSTING.

File: 1484481626786.jpg (168KB, 1200x1200px) Image search: [Google]

168KB, 1200x1200px

You're looking for some operation [math]\phi[/math] such that [math]A = B[/math] would equal to [math]\phi(A, B) \land \phi(B, A)[/math].

Here's one way to define [math]\phi(A, B)[/math]:
If there exists [math]x_1, ..., x_n, y_1, ..., y_m[/math] and [math]X[/math] such that [math]X(x_1, ..., x_n, A, y_1, ..., y_m)[/math] is defined,
then also [math]X(x_1, ..., x_n, B, y_1, ..., y_m)[/math] is defined,
and [math]X(x_1, ..., x_n, A, y_1, ..., y_m)[/math] equals to [math]X(x_1, ..., x_n, B, y_1, ..., y_m)[/math].

File: 1500011819241.jpg (37KB, 675x499px) Image search: [Google]

37KB, 675x499px

>>9087299
[math]B\subset A, A\nsubseteq B[/math]

Go back to /his/ retard.

>>9087299

[math]\Downarrow [/math]

>>9087409

I OVERLY THANK YOU.

File: dave.png (670KB, 1036x1160px) Image search: [Google]

670KB, 1036x1160px

>>9087299

> THE EQUALITY SIGN ("=") DENOTES EQUIVALENT BIDIRECTIONAL LATERAL RELATION BETWEEN TWO UNITS.

not necessarily

>>9087409
>that ugly redundancy and clutter of symbols
[math] B \subset A \not\subset B [/math]

>>9089072
Surely you mean [math]B \subsetneq A [/math]

>>9087299
>BIDIRECTIONAL LATERAL
you mean "symmetric"
>"A" IS "B", BUT "B" IS NOT NECESSARILY "A"
you mean "antisymmetric"

>https://en.wikipedia.org/wiki/List_of_logic_symbols#Basic_logic_symbols

I like the implication symbol myself

>>9090566
that's not antisymmetric, antisymmetric means xRy and yRx implies x = y, its 'not symmetric' (due to the 'NOT NECESSARILY', instead of asymmetric)