Relations and Functions

Relations and Functions

Question

Prove that  : space space space space space space space space space space space space space space space space space space space straight A space bottom enclose subset of space straight B space left right double arrow straight B apostrophe space bottom enclose subset of space straight A apostrophe space

or space space space space space space space space space space space space space space space space space space space straight A space bottom enclose subset of space straight B space space space if space space straight B apostrophe space bottom enclose subset of space straight A apostrophe space

Answer
space space space space space space Let space bold space bold space bold A bold space bottom enclose bold subset of bold space bold B bold space bold space
It is required to prove space space space space space space space space straight B apostrophe space bottom enclose subset of space straight A apostrophe space

Let x be any arbitary element of B'.
i.e.      space space space space space space space space space space space space straight x element of straight B apostrophe          space space space space space space space space space space space space space space space space space space space space space space space space space space rightwards double arrow space space space straight x space not an element of space straight B space rightwards double arrow space straight x space not an element of straight A space left curly bracket space because space straight A space bottom enclose subset of space straight B right curly bracket space rightwards double arrow space straight x space element of straight A apostrophe

∴        <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre>
So,    <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre>
Conversely,  <pre>uncaught exception: <b>mkdir(): Permission denied (errno: 2) in /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php at line #56mkdir(): Permission denied</b><br /><br />in file: /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php line 56<br />#0 [internal function]: _hx_error_handler(2, 'mkdir(): Permis...', '/home/config_ad...', 56, Array)
#1 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/util/sys/Store.class.php(56): mkdir('/home/config_ad...', 493)
#2 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/FolderTreeStorageAndCache.class.php(110): com_wiris_util_sys_Store->mkdirs()
#3 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/RenderImpl.class.php(231): com_wiris_plugin_impl_FolderTreeStorageAndCache->codeDigest('mml=<math xmlns...')
#4 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/lib/com/wiris/plugin/impl/TextServiceImpl.class.php(59): com_wiris_plugin_impl_RenderImpl->computeDigest(NULL, Array)
#5 /home/config_admin/public/felixventures.in/public/application/css/plugins/tiny_mce_wiris/integration/service.php(19): com_wiris_plugin_impl_TextServiceImpl->service('mathml2accessib...', Array)
#6 {main}</pre>
Let x be any arbitary element of A.
space space space space space space space space space space straight x element of straight A space rightwards double arrow space straight x not an element of space straight A apostrophe space space space space space space space rightwards double arrow space space space straight x not an element of straight B apostrophe space space space space space space space space space space space space space space space space space space space space space space space space space space space space space space space space space space left square bracket because space straight B apostrophe space bottom enclose subset of straight A apostrophe right square bracket
space space space space space space space space space rightwards double arrow space space space straight x space element of space space straight B space space space space space space space space

∴  space space space space space space space space space space space space space space space space space space space space space space space space straight x space element of space straight A space space space space space space space space space space space space space space space rightwards double arrow space space space space space space space space space space space straight x space element of space straight B
So,       space space space space space space space space space space space space space space straight A space bottom enclose subset of space straight B
Hence,    space space space space space space space straight A space bottom enclose subset of space straight B space left right double arrow straight B apostrophe space bottom enclose subset of space straight A apostrophe

 

More Chapters from Relations and Functions