set A = { x | x is a mecha }
set B = { y | y is a person cohabitating with a mecha }
relation R on AxB = { ( x,y) | x gets mad sexx0rz with y }
Sadly, however, the ordered pair ( x = mecha in other room right now, y = Jenny typing this) is not part of the above subset of AxB (ordered pairs where mechas get sexx0rz from their roommates). It is plain to see that, in this case, x does not get mad sexx0rz with y.
If R = { ( x,y) | x gets mad sexx0rz with y } is only true for certain subsets S ⊆ AxB, then the relation is false for any pairs NOT in the subset S, or rather, in S'. The pair (mecha in other room right now, Jenny typing this) is plainly in S', which means no sexx0rz EVAH. HA!
I'm not sure if it follows that way all to the end or not, but for amusement purposes, damn straight it does.
set B = { y | y is a person cohabitating with a mecha }
relation R on AxB = { ( x,y) | x gets mad sexx0rz with y }
Sadly, however, the ordered pair ( x = mecha in other room right now, y = Jenny typing this) is not part of the above subset of AxB (ordered pairs where mechas get sexx0rz from their roommates). It is plain to see that, in this case, x does not get mad sexx0rz with y.
If R = { ( x,y) | x gets mad sexx0rz with y } is only true for certain subsets S ⊆ AxB, then the relation is false for any pairs NOT in the subset S, or rather, in S'. The pair (mecha in other room right now, Jenny typing this) is plainly in S', which means no sexx0rz EVAH. HA!
I'm not sure if it follows that way all to the end or not, but for amusement purposes, damn straight it does.