Relazione di inclusione non stretta tra insiemi

[Sk_Anonymous]

Salve, abbiamo un insieme $A$ ed un insieme $B$. In termini logici, come si esprime la relazione di inclusione $A sube B$?
In italiano ciò significa che "ogni elemento di $A$ è elemento di $B$". E in termini logici?
Io ho pensato: $A sube B$ equivale a dire che "o $A sub B$, o $A=B$", dunque ciò si potrebbe esprimere come $A XOR B$.

[gundamrx91-votailprof]

Posto che $A sube B <=> (AAx)(x in A => x in B)$, dal punto di vista logico credo che il tutto sia da ricercare nell'operatore $P=>Q$ che è anche esprimibile com $not(P ^^ not Q)$.

[garnak.olegovitc1]

Salve lisdap,

"lisdap":Salve, abbiamo un insieme $A$ ed un insieme $B$. In termini logici, come si esprime la relazione di inclusione $A sube B$?
In italiano ciò significa che "ogni elemento di $A$ è elemento di $B$". E in termini logici?
Io ho pensato: $A sube B$ equivale a dire che "o $A sub B$, o $A=B$", dunque ciò si potrebbe esprimere come $A XOR B$.

$Def.$: dati gli insiemi $A$ e $B$, $A sube B harr AAx(x in A -> x in B)$
$Def.$: dati gli insiemi $A$ e $B$, $A sub B harr A sube B ^^ A!=B$

Spero di averti aiutato, se hai dubbi o perplessità fammelo sapere.
Cordiali saluti