#LyX 2.0 created this file. For more info see http://www.lyx.org/ \lyxformat 413 \begin_document \begin_header \textclass amsart \use_default_options true \begin_modules theorems-ams eqs-within-sections figs-within-sections tabs-within-sections theorems-sec \end_modules \maintain_unincluded_children false \language english \language_package default \inputencoding auto \fontencoding global \font_roman default \font_sans default \font_typewriter default \font_default_family default \use_non_tex_fonts false \font_sc false \font_osf false \font_sf_scale 100 \font_tt_scale 100 \graphics default \default_output_format default \output_sync 0 \bibtex_command default \index_command default \paperfontsize 12 \spacing single \use_hyperref false \papersize default \use_geometry true \use_amsmath 1 \use_esint 1 \use_mhchem 1 \use_mathdots 1 \cite_engine basic \use_bibtopic false \use_indices false \paperorientation portrait \suppress_date false \use_refstyle 0 \index Index \shortcut idx \color #008000 \end_index \leftmargin 1in \topmargin 1in \rightmargin 1in \bottommargin 1in \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \paragraph_indentation default \quotes_language english \papercolumns 1 \papersides 1 \paperpagestyle default \tracking_changes false \output_changes false \html_math_output 0 \html_css_as_file 0 \html_be_strict false \end_header \begin_body \begin_layout Standard \align center Name: ???, Homework: ??, Date: \begin_inset ERT status collapsed \begin_layout Plain Layout \backslash the \backslash month/ \backslash the \backslash day/ \backslash the \backslash year \end_layout \end_inset \end_layout \begin_layout Problem A bird is a flying animal. \end_layout \begin_layout --Separator-- \end_layout \begin_layout Problem Chickens are not birds. \end_layout \begin_layout --Separator-- \end_layout \begin_layout Problem Let \begin_inset Formula $\mathcal{T}$ \end_inset be a Hausdorff hand containing a bird. \end_layout \end_body \end_document